[Dev] Excellent Security Kernel Paper

[Paul Snively]

I neglected earlier to point to Jonathan Rees' excellent paper, "A 
Security Kernel Based on the Lambda Calculus," at 
<http://www.mumble.net/jar/pubs/secureos>. To the extent that Python is 
a (somewhat crippled) lambda language, it should be relatively 
straightforward to map from the concepts in the paper to a Python 
implementation. I also note that Zooko, author of the distributed names 
paper, lead developer of Mnet, and Python hacker extraordinaire, is on 
the dev list. Zooko knows a heck of a lot more about this stuff than I 
do--hopefully he'll put in some choice words.

Best regards,
Paul