The Nature of Lisp (2006)

Re:The Nature of Lisp (2006) by brandmeyer on Wednesday May 20, 2015 @10:42AM (#9576618)

Combining syntactic closures with the Scheme module system's ability to carefully control exports and imports seems like it should be enough.

However, high-security language runtimes have a history of being subverted anyway.

[ Parent | on HN ]

Re:The Nature of Lisp (2006) by agumonkey on Wednesday May 20, 2015 @10:53AM (#9576696)

I don't know what to Google ('lisp evaluator security' wasn't fruitful) but I'd love to see research on the subject.

[ Parent | on HN ]

Re:The Nature of Lisp (2006) by bitwize on Wednesday May 20, 2015 @11:09AM (#9576819)

Jonathan Rees's 1995 paper "A Security Kernel Based on the Lambda Calculus" was enlightening. Not only was it capability-based security in Scheme -- but capabilities are lambdas!

http://mumble.net/~jar/pubs/secureos/

[ Parent | on HN ]

Re:The Nature of Lisp (2006) by agumonkey on Wednesday May 20, 2015 @11:45AM (#9577085)

Ha, I knew it. Lambda the ultimate everything.

[ Parent | on HN ]