{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:05Z","timestamp":1725493445533},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007081"},{"type":"electronic","value":"9783540365327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36532-x_13","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T15:34:36Z","timestamp":1193326476000},"page":"201-216","source":"Crossref","is-referenced-by-count":4,"title":["AnZenMail: A Secure and Certified E-mail System"],"prefix":"10.1007","author":[{"given":"Etsuya","family":"Shibayama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeki","family":"Hagihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoki","family":"Kobayashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenjiro","family":"Taura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuo","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Affeldt, R., Kobayashi, N.: Formalization and Verification of a Mail Server in Coq. Proc. of International Symposium on Software Security, in this volume, 2003.","DOI":"10.1007\/3-540-36532-X_14"},{"key":"13_CR2","unstructured":"Aleph One: Smashing the Stack for Fun and Profit, Phrack, 49(7), 1996, http:\/\/www.phrack.org\/leecharch.php?p=49"},{"key":"13_CR3","unstructured":"Baratloo, A., Singh, N., Tsai, T.: Transparent Run-Time Defense Against Stack-Smashing Attacks. Proc. of USENIX Annual Conference, 2000."},{"key":"13_CR4","unstructured":"Bernstein, D. J.: The Qmail Security Guarantee."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. Proc. of the Royal Society, Series A 426, 233\u2013271, 1989.","DOI":"10.1098\/rspa.1989.0125"},{"key":"13_CR6","unstructured":"Cowan, C., Pu, C., Maier, D., Walpole, J., Bakke, P., Beattie, S., Grier, A., Wagle, P., Zhang, Q., Hinton, H.: StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks, Proc. 7th USENIX Security Conference, 63\u201378, 1998."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Crocker, S., Freed, N., Galvin, J., Murphy, S.: MIME Object Security Services. RFC 1848, 1995.","DOI":"10.17487\/rfc1848"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF02139147","volume":"4","author":"R. H. Deng","year":"1996","unstructured":"Deng, R. H., Gong, L., Lazar, A. A., Wang, W.: Practical Protocols for Certified Electronic Mail. J. of Network and System Management, 4(3), 279\u2013297, 1996.","journal-title":"J. of Network and System Management"},{"issue":"5","key":"13_CR9","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/382899.383305","volume":"8","author":"N. Ducheneaut","year":"2001","unstructured":"Ducheneaut, N., Bellotti, V.: E-mail as Habitat. Interactions, ACM, 8(5), 30\u201338, 2001.","journal-title":"Interactions"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Goldberg, Y., Safran, M., Shapiro, E.: Active Mail-A Framework for Implementing Groupware. Proc. of the Conf. on Computer Supported Cooperative Work, 75\u201383, 1992.","DOI":"10.1145\/143457.143464"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Hoffman, P.: SMTP Service Extension for Secure SMTP over TLS. RFC 2487, 1999.","DOI":"10.17487\/rfc2487"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: Resource Usage Analysis. Proc. of ACM Symposium on Principles of Programming Languages, 331\u2013342, 2001.","DOI":"10.1145\/565816.503303"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/317087.317091","volume":"2","author":"T. Jaeger","year":"1999","unstructured":"Jaeger, T., Prakash, A., Liedtke, J., Islam, N.: Flexible Control of Downloaded Executable Content. ACM Trans. on Information and System Security, 2(2), 177\u2013228, 1999.","journal-title":"ACM Trans. on Information and System Security"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Kato, K., Oyama, Y.: SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation. Proc. of International Symposium on Software Security, in this volume, 2003.","DOI":"10.1007\/3-540-36532-X_8"},{"issue":"8","key":"13_CR15","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/163381.163390","volume":"36","author":"S. T. Kent","year":"1993","unstructured":"Kent, S. T.: Internet Privacy Enhanced Mail. Comm. of the ACM, 36(8), 48\u201360, 1993.","journal-title":"Comm. of the ACM"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Klensin, J. (ed): Simple Mail Transfer Protocol. RFC 2821, 2001.","DOI":"10.17487\/rfc2821"},{"key":"13_CR17","unstructured":"Pfitzmann, B., Schunter, M., Waidner, M.: Provably Secure Certified Mail. Research Report, RZ 3207(#93253), IBM, 2000."},{"key":"13_CR18","unstructured":"OpenBSD security. http:\/\/www.openbsd.org\/security.html"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Ramsdell, B. (ed): S\/MIME Version 3 Message Specification. RFC 2633, 1999.","DOI":"10.17487\/rfc2633"},{"issue":"5","key":"13_CR20","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/52.877869","volume":"17","author":"J. Viega","year":"2000","unstructured":"Viega, J., McGraw, G., Mutdosch, T., Felten, E. W.: Statically Scanning Java Code: Finding Security Vulnerabilities. IEEE Software, 17(5), 68\u201374, 2000.","journal-title":"IEEE Software"},{"issue":"4","key":"13_CR21","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363516.363520","volume":"9","author":"D. S. Wallach","year":"2000","unstructured":"Wallach, D. S., Appel, A. W., Felten, E. W.: SAFKASI: A Security Mechanism for Language-Based Systems. ACM Trans. on Software Engineering and Methodology, 9(4), 341\u2013378, 2000.","journal-title":"ACM Trans. on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Software Security \u2014 Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36532-X_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T20:54:18Z","timestamp":1556916858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36532-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007081","9783540365327"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36532-x_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}