[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:

http://en.wikipedia.org/wiki/HRU_%28security%29
http://www.utdallas.edu/~muratk/courses/dbsec12f_files/access2.pdf

Basically the HRU model can simulate a Turing machine, so if safety
problem is decidable, so is halting problem.
-- 
http://www.subspacefield.org/~travis/
"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