"A security kernel based on the lambda calculus" http://mumble.net/~jar/pubs/secureos/ http://mumble.net/~jar/pubs/secureos/ http://cap-lore.com/CapTheory/upen

"A security kernel based on the lambda calculus" http://mumble.net/~jar/pubs/secureos/ http://mumble.net/~jar/pubs/secureos/ http://cap-lore.com/CapTheory/upenn/ http://cap-lore.com/CapTheory/upenn/