A Security Kernel Based on the Lambda Calculushttp://fare.tunes.org/tmp/emergent/secureos.htm by randombit • 18 years ago 5 0 18 years agoFAfare.tunes.org