{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:08:17Z","timestamp":1729634897935,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csac.2002.1176283","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T11:35:00Z","timestamp":1056627300000},"page":"96-108","source":"Crossref","is-referenced-by-count":5,"title":["LOCK: an historical perspective"],"prefix":"10.1109","author":[{"given":"O.","family":"Sami Saydjari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"18","article-title":"A Practical Alternative to Hierarchical Integrity Policies","author":"boebert","year":"1985","journal-title":"Proceedings of the 8th National Computer Security Conference"},{"key":"ref11","first-page":"291","article-title":"On the Inability of an Unmodified Capability Machine to Enforce the *-Property","author":"boebert","year":"1984","journal-title":"7th Proceedings of the DoD\/NBS Computer Security Conference"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TSE.1987.232892","article-title":"on access checking in capability-based systems","volume":"se 13","author":"kain","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361070"},{"key":"ref14","article-title":"SAT Design Overview","author":"thomas","year":"0","journal-title":"Mitre Bedford Working Paper #25867 under contract F19628–84-C-0001"},{"key":"ref15","article-title":"A Verified Labeler for the Secure Ada Target","author":"william","year":"1986","journal-title":"Proceedings of the 9th National Computer Security Conference"},{"key":"ref16","article-title":"An Emacs-Based Downgrader for the SAT","author":"john","year":"1985","journal-title":"Proceedings of the 8th National Computer Security Conference"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/359104.359106"},{"key":"ref18","article-title":"Extending the Non-interference Version of MLS for SAT","author":"tom","year":"1986","journal-title":"Proc 1986 IEEE Symp on Security and Privacy"},{"key":"ref19","article-title":"Can Unix Be Trusted?","author":"steve","year":"1987","journal-title":"\/usr\/group Communications"},{"journal-title":"Contract MDA904–80-C-0470","article-title":"Provably Secure Operating System (PSOS) Final Report","year":"1981","key":"ref4"},{"key":"ref3","article-title":"A Provably Secure Operating System The System, Its Applications, and Proof s","author":"neumann","year":"1980","journal-title":"Computer Science Laboratory Report CSL-1 16"},{"key":"ref6","article-title":"Secure Computing: The Secure Ada Target Approach","author":"boebert","year":"1985","journal-title":"Scientific Honeyweller"},{"key":"ref5","article-title":"An Experience Using Two Covert Channel Analysis Techniques on a Real System Design","author":"kemmerer","year":"1986","journal-title":"Proceedings of the 1986 Symposium on Security and Privacy"},{"key":"ref8","article-title":"A Partial Solution to the Discretionary Trojan Horse Problem","author":"boebert","year":"1985","journal-title":"Proceedings of the 8th National Computer Security Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"ref2","article-title":"The LOCK Demonstration","author":"boebert","year":"1988","journal-title":"Proceedings of the 11th National Computer Security Conference LOCK Supplement Ott"},{"key":"ref1","first-page":"129","article-title":"LOCKing Computers Securely","author":"sami","year":"1987","journal-title":"10th Proceedings of the National Computer Security Conference"},{"key":"ref9","article-title":"A Proposed Policy for Dynamic Security Lattice Management","author":"chuck","year":"1986","journal-title":"Proceedings of the 9th National Computer Security Conference (Addendum)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1984.tb00058.x"},{"key":"ref22","article-title":"LOCK Trek","author":"sami","year":"1987","journal-title":"Proc IEEE Conf Security and Privacy"},{"key":"ref21","article-title":"LOCK\/ix: On Implementing Unix On The LOCK TCB","author":"mark","year":"1988","journal-title":"11th Proceeding of the National Computer Security Conference"}],"event":{"name":"Eighteenth Annual Computer Security Applications Conference","acronym":"CSAC-02","location":"Las Vegas, NV, USA"},"container-title":["18th Annual Computer Security Applications Conference, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8386\/26404\/01176283.pdf?arnumber=1176283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:46:19Z","timestamp":1497552379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1176283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/csac.2002.1176283","relation":{},"subject":[]}}