{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:08:51Z","timestamp":1725487731231},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426622"},{"type":"electronic","value":"9783540454397"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45439-x_37","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T17:44:53Z","timestamp":1185039893000},"page":"536-552","source":"Crossref","is-referenced-by-count":0,"title":["Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD"],"prefix":"10.1007","author":[{"given":"Kenji","family":"Masui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiko","family":"Tomoishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoki","family":"Yonezaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"key":"37_CR1","unstructured":"Dorothy E. R. Denning. Cryptography and Data Security. Addison-Wesley, 1983."},{"key":"37_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Michael Burrows, Martin Abadi, and Roger M. Needham. A logic of authentication. In ACM Transactions on Computer Systems, volume 8, pages 18\u201336, February 1990.","journal-title":"ACM Transactions on Computer Systems"},{"key":"37_CR3","unstructured":"R. M. Burstall. Program proving as hand simulation with a little induction. In IFIP Congress 74, pages 308\u2013312, 1974."},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"F. Kr\u00f6ger. Lar: A logic of algorithmic reasoning. In Acta Informatica, volume 8.","DOI":"10.1007\/BF00264469"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"A. Pnueli. A temporal logic of programs. In 18th IEEE Symposium on Foundation of Computer Science, pages 46\u201357. IEEE Computer Society Press, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"37_CR6","unstructured":"Simson Garfinkel and Gene Spafford. Practical UNIX Security. O\u2019Reilly & Associates, Inc., 1991."},{"key":"37_CR7","unstructured":"CERT. CERT\/CC Advisories. http:\/\/www.cert.org\/ ."},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/363095.363146","volume":"11","author":"R. M. Graham","year":"1968","unstructured":"R. M. Graham. Protection in an information processing utility. In Comm. ACM, volume 11, pages 365\u2013369, 1968.","journal-title":"Comm. ACM"},{"key":"37_CR9","unstructured":"Marshall Kirk McKusick, Keith Bostic, and Michael J. Karels. The Design and Implementation of the 4.4BSD Operating System (Unix and Open Systems Series.). Addison-Wesley Pub. Co., 1996."},{"key":"37_CR10","doi-asserted-by":"crossref","unstructured":"Ronald L. Rivest. The MD5 Message-Digest Algorithm, 1992. RFC1321.","DOI":"10.17487\/rfc1321"},{"key":"37_CR11","unstructured":"Cactus Development Inc. SecureBSD. http:\/\/www.securebsd.com\/ ."},{"key":"37_CR12","unstructured":"Rob Pike, Dave Presotto, Sean Dorward, Bob Flandrena, Ken Thompson, Howard Trickey, and Phil Winterbottom. Plan9 from bell labs. In Plan9 Programmer\u2019s Manual, volume 2. AT&T Bell Laboratories, 1995."},{"key":"37_CR13","unstructured":"The Santa Cruz Operation, Inc. CMW+. http:\/\/www.sco.com\/products\/Datasheets\/cmw\/ ."},{"key":"37_CR14","unstructured":"Sun Microsystems, Inc. Trusted Solaris. http:\/\/www.sun.com\/software\/solaris\/trustedsolaris\/trustedsolaris.html ."},{"key":"37_CR15","unstructured":"Department of Defense. Trusted Computer System Evaluation Criteria, 12 1985. DOD5200.28-STD,S225,711."},{"key":"37_CR16","series-title":"Technical Report","volume-title":"Secure computer system: Unified exposition and multics interpretation","author":"B. David Elliott","year":"1975","unstructured":"Bell, David Elliott and Leonard J. La Padula. Secure computer system: Unified exposition and multics interpretation. Technical Report 2997, MITRE Corp, Bedford, MA, 1975."},{"issue":"4","key":"37_CR17","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/361284.361287","volume":"15","author":"R. W. Conway","year":"1972","unstructured":"R. W. Conway, W. L. Maxwell, and H. L. Morgan. On the implementation of security measures in information systems. In CACM 15(4), pages 211\u2013220, 1972.","journal-title":"CACM"},{"key":"37_CR18","unstructured":"Jennifer G. Steiner, B. C. Neuman, and J. I. Schiller. Kerberos: An authentication service for open network systems. In Winter 1988 Usenix Conference, pages 191\u2013201, 1988."}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45439-X_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:33:14Z","timestamp":1556710394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45439-X_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426622","9783540454397"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45439-x_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}