{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,16]],"date-time":"2025-02-16T23:40:23Z","timestamp":1739749223816,"version":"3.37.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642117466"},{"type":"electronic","value":"9783642117473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11747-3_7","type":"book-chapter","created":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T01:03:02Z","timestamp":1264381382000},"page":"79-95","source":"Crossref","is-referenced-by-count":4,"title":["Formally-Based Black-Box Monitoring of Security Protocols"],"prefix":"10.1007","author":[{"given":"Alfredo","family":"Pironti","sequence":"first","affiliation":[]},{"given":"Jan","family":"J\u00fcrjens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1006\/inco.2002.3086","volume":"174","author":"M. Abadi","year":"2002","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. Information and Computation\u00a0174(1), 37\u201383 (2002)","journal-title":"Information and Computation"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The Spi Calculus. Digital Research Report 149 (1998)","DOI":"10.1145\/266420.266432"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, A., J\u00fcrjens, J.: Security protocols, properties, and their monitoring. In: International Workshop on Software Engineering for Secure Systems, pp. 33\u201340 (2008)","DOI":"10.1145\/1370905.1370910"},{"key":"7_CR4","first-page":"17","volume-title":"Computer Security Foundations Symposium","author":"J. Bengtson","year":"2008","unstructured":"Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. In: Computer Security Foundations Symposium, pp. 17\u201332. IEEE, Los Alamitos (2008)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Tse, S.: Verified interoperable implementations of security protocols. In: Computer Security Foundations Workshop, pp. 139\u2013152 (2006)","DOI":"10.1109\/CSFW.2006.32"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013207 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Fraser, T., Badger, L., Feldman, M.: Hardening COTS software with generic software wrappers. In: IEEE Symposium on Security and Privacy, pp. 2\u201316 (1999)","DOI":"10.1109\/SECPRI.1999.766713"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-540-39881-3_19","volume-title":"Security in Pervasive Computing","author":"E. Hubbers","year":"2004","unstructured":"Hubbers, E., Oostdijk, M., Poll, E.: Implementing a formally verifiable security protocol in Java Card. In: Hutter, D., M\u00fcller, G., Stephan, W., Ullmann, M. (eds.) Security in Pervasive Computing. LNCS, vol.\u00a02802, pp. 213\u2013226. Springer, Heidelberg (2004)"},{"key":"7_CR9","unstructured":"Jeon, C.W., Kim, I.G., Choi, J.Y.: Automatic generation of the C# code for security protocols verified with Casper\/FDR. In: International Conference on Advanced Information Networking and Applications, pp. 507\u2013510 (2005)"},{"issue":"1","key":"7_CR10","first-page":"83","volume":"11","author":"S.P. Joglekar","year":"2005","unstructured":"Joglekar, S.P., Tate, S.R.: ProtoMon: Embedded monitors for cryptographic protocol intrusion detection and prevention. Journal of Universal Computer Science\u00a011(1), 83\u2013103 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Yampolskiy, M.: Code security analysis with assertions. In: IEEE\/ACM International Conference on Automated Software Engineering, pp. 392\u2013395 (2005)","DOI":"10.1145\/1101908.1101978"},{"key":"7_CR12","unstructured":"Pironti, A., J\u00fcrjens, J.: Online resources about black-box monitoring, http:\/\/alfredo.pironti.eu\/research\/projects\/monitoring\/"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Pironti, A., Sisto, R.: An experiment in interoperable cryptographic protocol implementation using automatic code generation. In: IEEE Symposium on Computers and Communications, pp. 839\u2013844 (2007)","DOI":"10.1109\/ISCC.2007.4381508"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Pironti, A., Sisto, R.: Provably correct Java implementations of Spi Calculus security protocols specifications. Computers & Security (2009) (in press)","DOI":"10.1016\/j.cose.2009.08.001"},{"key":"7_CR15","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR, Englewood Cliffs (1997)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Schneider, S.: Security properties and CSP. In: IEEE Symposium on Security and Privacy, pp. 174\u2013187 (1996)","DOI":"10.1109\/SECPRI.1996.502680"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"S\u00fc\u00dfkraut, M., Fetzer, C.: Robustness and security hardening of COTS software libraries. In: IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 61\u201371 (2007)","DOI":"10.1109\/DSN.2007.84"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2005.11.052","volume":"155","author":"L. Vigan\u00f2","year":"2006","unstructured":"Vigan\u00f2, L.: Automated security protocol analysis with the AVISPA tool. Electronic Notes on Theoretical Computer Science\u00a0155, 61\u201386 (2006)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/356909.356913","volume":"15","author":"V.L. Voydock","year":"1983","unstructured":"Voydock, V.L., Kent, S.T.: Security mechanisms in high-level network protocols. ACM Computing Surveys\u00a015(2), 135\u2013171 (1983)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11747-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,16]],"date-time":"2025-02-16T23:17:46Z","timestamp":1739747866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11747-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642117466","9783642117473"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11747-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}