[langsec-discuss] Is computation half the story?

travis+ml-langsec at subspacefield.org travis+ml-langsec at subspacefield.org
Thu May 28 16:47:42 UTC 2015

Related work: HRU problem (access control - safety) is undecidable:


Basically the HRU model can simulate a Turing machine, so if safety
problem is decidable, so is halting problem.
"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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 834 bytes
Desc: not available
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20150528/1e5bce11/attachment.sig>

More information about the langsec-discuss mailing list