{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:18:51Z","timestamp":1725671931675},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288906"},{"type":"electronic","value":"9783642288913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28891-3_36","type":"book-chapter","created":{"date-parts":[[2012,3,30]],"date-time":"2012-03-30T12:53:01Z","timestamp":1333111981000},"page":"403-417","source":"Crossref","is-referenced-by-count":4,"title":["A Semantic Analysis of Wireless Network Security Protocols"],"prefix":"10.1007","author":[{"given":"Damiano","family":"Macedonio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Merro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-19751-2_14","volume-title":"Formal Aspects of Security and Trust","author":"F. Ballardin","year":"2011","unstructured":"Ballardin, F., Merro, M.: A Calculus for the Analysis of Wireless Network Security Protocols. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 206\u2013222. Springer, Heidelberg (2011)"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-71067-7_3","volume-title":"Theorem Proving in Higher Order Logics","author":"Y. Bertot","year":"2008","unstructured":"Bertot, Y.: A Short Presentation of Coq. In: Mohamed, O.A., Mu\u00f1oz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol.\u00a05170, pp. 12\u201316. Springer, Heidelberg (2008)"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-11623-0_6","volume-title":"Fundamentals of Software Engineering","author":"F. Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Equational Reasoning on Ad Hoc Networks. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 113\u2013128. Springer, Heidelberg (2010)"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72794-1_8","volume-title":"Coordination Models and Languages","author":"J.C.. Godskesen","year":"2007","unstructured":"Godskesen, J.C.: A Calculus for Mobile Ad Hoc Networks. In: Murphy, A.L., Ryan, M. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 132\u2013150. Springer, Heidelberg (2007)"},{"issue":"1-3","key":"36_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2004.01.001","volume":"50","author":"R. Gorrieri","year":"2004","unstructured":"Gorrieri, R., Martinelli, F.: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Science of Computer Programming\u00a050(1-3), 23\u201349 (2004)","journal-title":"Science of Computer Programming"},{"issue":"3-4","key":"36_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10817-008-9112-7","volume":"41","author":"R. Gorrieri","year":"2008","unstructured":"Gorrieri, R., Martinelli, F., Petrocchi, M.: Formal models and analysis of secure multicast in wired and wireless networks. Journal of Automated Reasoning\u00a041(3-4), 325\u2013364 (2008)","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"36_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A Process Algebra for Timed Systems. Information and Computation\u00a0117(2), 221\u2013239 (1995)","journal-title":"Information and Computation"},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"1928","DOI":"10.1016\/j.tcs.2010.01.023","volume":"411","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Sangiorgi, D.: An Operational Semantics for a Calculus for Wireless Systems. Theoretical Computer Science\u00a0411, 1928\u20131948 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"36_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.ic.2007.11.010","volume":"207","author":"M. Merro","year":"2009","unstructured":"Merro, M.: An Observational Theory for Mobile Ad Hoc Networks (full paper). Information and Computation\u00a0207(2), 194\u2013208 (2009)","journal-title":"Information and Computation"},{"key":"36_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11623-0_13","volume-title":"Fundamentals of Software Engineering","author":"M. Merro","year":"2010","unstructured":"Merro, M., Sibilio, E.: A Timed Calculus for Wireless Systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"36_CR11","series-title":"Computer Communications and Networks","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-328-6","volume-title":"Guide to Wireless Ad Hoc Networks","author":"S. Misra","year":"2009","unstructured":"Misra, S., Woungag, I.: Guide to Wireless Ad Hoc Networks. Computer Communications and Networks. Springer, London (2009)"},{"issue":"1-2","key":"36_CR12","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","volume":"367","author":"S. Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: A Framework for Security Analysis of Mobile Wireless Networks. Theoretical Computer Science\u00a0367(1-2), 203\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"issue":"3","key":"36_CR14","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1145\/1015047.1015056","volume":"3","author":"T. Park","year":"2004","unstructured":"Park, T., Shin, K.G.: LiSP: A lightweight security protocol for wireless sensor networks. ACM Transactions in Embedded Computing Systems\u00a03(3), 634\u2013660 (2004)","journal-title":"ACM Transactions in Embedded Computing Systems"},{"issue":"5","key":"36_CR15","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1023\/A:1016598314198","volume":"8","author":"A. Perrig","year":"2002","unstructured":"Perrig, A., Szewczyk, R., Tygar, J.D., Wen, V., Culler, D.: SPINS: Security Protocols for Sensor Networks. Wireless Networks\u00a08(5), 521\u2013534 (2002)","journal-title":"Wireless Networks"},{"issue":"6","key":"36_CR16","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.scico.2009.07.008","volume":"75","author":"A. Singh","year":"2010","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. Science of Computer Programming\u00a075(6), 440\u2013469 (2010)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"36_CR17","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1145\/1218556.1218559","volume":"2","author":"S. Zhu","year":"2006","unstructured":"Zhu, S., Setia, S., Jajodia, S.: Leap+: Efficient security mechanisms for large-scale distributed sensor networks. ACM Trans. on Sensor Networks\u00a02(4), 500\u2013528 (2006)","journal-title":"ACM Trans. on Sensor Networks"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28891-3_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:22Z","timestamp":1620126862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28891-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288906","9783642288913"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28891-3_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}