On Thu, Mar 26, 2015 at 06:22:59PM -0600, Taylor Hornby wrote: > https://defuse.ca/how-do-we-model-this-robot.htm > > ...wherein I make the distinction between a machine's computational > abilities (i.e. which languages can it decide?) and a machine's > "informational" abilities (i.e. how can the machine influence the > outside world? what APIs is it allowed to call?). > > ... > > I would appreciate references to the literature.
Found this: https://en.wikipedia.org/wiki/Universal_composability -- http://www.subspacefield.org/~travis/ | if spammer then j...@subspacefield.org "Computer crime, the glamor crime of the 1970s, will become in the 1980s one of the greatest sources of preventable business loss." John M. Carroll, "Computer Security", first edition cover flap, 1977
pgpR9uU7bd0dJ.pgp
Description: PGP signature
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
