{"id":17601,"date":"2004-05-21T15:45:32","date_gmt":"2004-05-21T15:45:32","guid":{"rendered":"http:\/\/dsandler.org\/wp\/archives\/2004\/05\/21\/capabilities-based-security-with-the-lambda-calculus"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-30T06:00:00","slug":"capabilities-based-security-with-the-lambda-calculus","status":"publish","type":"post","link":"https:\/\/dsandler.org\/wp\/archives\/2004\/05\/21\/capabilities-based-security-with-the-lambda-calculus","title":{"rendered":"Capabilities-based security with the lambda calculus"},"content":{"rendered":"<p><!-- Fri May 21 15:45:32 PDT 2004 --><br \/>\n<!-- T: \"Capabilities-based security with the lambda calculus\" --><br \/>\nMIT: <a href=\"http:\/\/mumble.net\/~jar\/pubs\/secureos\/\">A Security<br \/>\nKernel Based on the Lambda-Calculus<\/a> (1995).  [Procedure + environment<br \/>\n= closure &rarr; capabilities model.]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>MIT: A Security Kernel Based on the Lambda-Calculus (1995). [Procedure + environment = closure &rarr; capabilities model.]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-17601","post","type-post","status-publish","format-standard","hentry","category-notebook"],"_links":{"self":[{"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/posts\/17601","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/comments?post=17601"}],"version-history":[{"count":0,"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/posts\/17601\/revisions"}],"wp:attachment":[{"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/media?parent=17601"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/categories?post=17601"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dsandler.org\/wp\/wp-json\/wp\/v2\/tags?post=17601"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}