{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T07:52:31Z","timestamp":1770969151327,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540650041","type":"print"},{"value":"9783540497844","type":"electronic"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055864","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:50:09Z","timestamp":1154033409000},"page":"191-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards formalizing the Java security architecture of JDK 1.2"],"prefix":"10.1007","author":[{"given":"Lora L.","family":"Kassab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven J.","family":"Greenwald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"13_CR1","unstructured":"Balfanz, D. and Gong, L.: Experience with Secure Multi-Processing in Java, In Proceedings of the International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998."},{"key":"13_CR2","volume-title":"Technical Report MTR-2997","author":"D. E. Bell","year":"1976","unstructured":"Bell, D. E., and LaPadula, L. J.: Secure Computer System: Unified Exposition and Multics Interpretation, Technical Report MTR-2997, MITRE, Bedford, Mass., March 1976."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Cook, S. A.: The Complexity of Theorem-Proving Procedures, In Proceedings of the Third Annual ACM Symposium on the Theory of Computing, ACM, Pages 151\u2013158, 1971.","DOI":"10.1145\/800157.805047"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Dean, D., Felton, E. W., and Wallach, D. S.: Java Security: From HotJava to Netscape and Beyond, In Proceedings of the 1996 IEEE Symposium on Security and Privacy, pages 190\u2013200, May 1996.","DOI":"10.1109\/SECPRI.1996.502681"},{"key":"13_CR5","unstructured":"Denning, D.: Cryptography and Data Security. Addison-Wesley, 1982."},{"key":"13_CR6","unstructured":"McGraw, G. and Felton, E. W.: Java Security: Hostile Applets, Holes, and Antidotes. John Wiley & Sons, 1997."},{"key":"13_CR7","first-page":"259","volume-title":"Computers and Intractability","author":"M. R. Garey","year":"1979","unstructured":"Garey, M. R., and Johnson, D. S.: Computers and Intractability, Bell Telephone Laboratories, Inc., Murray Hill, New Jersey, Page 259, 1979."},{"key":"13_CR8","volume-title":"JDK 1.2 Security Architecture","author":"L. Gong","year":"1998","unstructured":"Gong, L.: JDK 1.2 Security Architecture. Sun Microsystems, Inc., Palo Alto, California, March 1998."},{"key":"13_CR9","unstructured":"Gong, L., Mueller, M., Prafullchandra, H., and Schemers, R.: Going Beyond the Sandbox: An Overview of the New Security Architecture in the Java Development Kit 1.2., In Proceedings of the USENIX Symposium on Internet Technologies and Systems, Monterey, California, December 1997."},{"key":"13_CR10","first-page":"337","volume-title":"Foundations of Secure Computation","author":"M. H. Harrison","year":"1978","unstructured":"Harrison, M. H. and Ruzzo, W. L.: Monotonic Protection Systems, Foundations of Secure Computation, Academic Press, New York, 1978, 337\u2013365."},{"issue":"8","key":"13_CR11","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"M. Harrison","year":"1976","unstructured":"Harrison, M., Ruzzo, W., and Ullman, J.: Protection in Operating Systems, Communications of the ACM, 19(8), Pages 461\u2013471, August 1976.","journal-title":"Communications of the ACM"},{"key":"13_CR12","unstructured":"Lindholm, T. and Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, 1996."},{"key":"13_CR13","unstructured":"Lampson, B. W.: Protection, In Proceedings of the 5th Princeton Symposium on Information Sciences and Systems, Princeton, New Jersey, March 1971, Pages 437\u2013443."},{"key":"13_CR14","unstructured":"McDermott, J. and Gelinas, R.: Prototyping a Java-based Defense Against Storage Spoofing, Submitted for publication."},{"key":"13_CR15","unstructured":"Accessible from http:\/\/www.microsoft.com."},{"key":"13_CR16","unstructured":"http:\/\/developer.netscape.com\/library\/documentation\/signedobj."},{"key":"13_CR17","first-page":"122","volume-title":"The Typed Access Matrix Model","author":"R. S. Sandhu","year":"1992","unstructured":"Sandhu, R. S.: The Typed Access Matrix Model, In Proceedings of the IEEE Symposium on Research in Security and Privacy, IEEE Computer Society, Oakland, California, Pages 122\u2013136, 1992."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Wallach, D. S., Balfanz, D., Dean, D., and Felton, E. W.: Extensible Security Architectures for Java, In Proceedings fo the 16th ACM Symposium on Operating Systems Principles, October 1997.","DOI":"10.1145\/268998.266668"},{"key":"13_CR19","first-page":"119","volume":"35","author":"C. Weissman","year":"1969","unstructured":"Weissman, C.: Security Controls in the ADEPT-50 Time-Sharing System, In Proceedings of the Fall Joint Computer Conference, Vol 35, Pages 119\u2013133, 1969.","journal-title":"Proceedings of the Fall Joint Computer Conference"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Yellin, F.: Low Level Security in Java, In Proceedings of the 4th International World Wide Web Conference, Boston, Massachusetts, December 1995.","DOI":"10.1145\/3592626.3592656"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 98"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:49:40Z","timestamp":1736480980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650041","9783540497844"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0055864","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}