{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:54:17Z","timestamp":1725512057040},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540715481"},{"type":"electronic","value":"9783540715498"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71549-8_30","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T05:11:58Z","timestamp":1183007518000},"page":"288-294","source":"Crossref","is-referenced-by-count":0,"title":["A Framework for Proving the Security of Data Transmission Protocols in Sensor Network"],"prefix":"10.1007","author":[{"given":"Mi","family":"Wen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanfei","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kefei","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"Modern Cryptography: Theory and Practice","author":"W. Mao","year":"2004","unstructured":"Mao, W.: Modern Cryptography: Theory and Practice. Prentice-Hall, Englewood Cliffs (2004)"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"A Decade of Concurrency","author":"E. Clarke","year":"1994","unstructured":"Clarke, E., Grumberg, O., Long, D.: Verification tools for finite-state concurrent systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, Springer, Heidelberg (1994)"},{"key":"30_CR3","first-page":"93","volume":"135","author":"A. Helmy","year":"1998","unstructured":"Helmy, A., Estrin, D., Gupta, S.: Fault-oriented test generation for multicast routing protocol design. FORTE\u00a0135, 93\u2013109 (1998)","journal-title":"FORTE"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/CSFW.1999.779762","volume-title":"12th Computer Security Foundations Workshop, CSFW 1999","author":"I. Cervesato","year":"1999","unstructured":"Cervesato, I., et al.: A meta-notation for protocol analysis. In: 12th Computer Security Foundations Workshop, CSFW 1999, pp. 55\u201371. IEEE Computer Society Press, Los Alamitos (1999)"},{"issue":"1","key":"30_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TNET.2002.808417","volume":"11","author":"C. Intanagonwiwat","year":"2003","unstructured":"Intanagonwiwat, C., et al.: Directed diffusion for wireless sensor networking. IEEE Trans. Networking\u00a011(1), 2\u201316 (2003)","journal-title":"IEEE Trans. Networking"},{"key":"30_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Security in Ad-hoc and Sensor Networks","author":"X. Wang","year":"2005","unstructured":"Wang, X., Yang, L., Chen, K.: SDD: Secure Distributed Diffusion Protocol for Sensor Networks. In: Castelluccia, C., et al. (eds.) ESAS 2004. LNCS, vol.\u00a03313, Springer, Heidelberg (2005)"},{"key":"30_CR7","unstructured":"Perrig, A., et al.: Efficient and secure source authentication for multicast. In: Proceedings of the IEEE Symposium on Network and Distributed System Security (NDSS 2001), pp. 35\u201346 (2001)"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11601494_10","volume-title":"Security and Privacy in Ad-hoc and Sensor Networks","author":"G. \u00c1cs","year":"2005","unstructured":"\u00c1cs, G., Butty\u00e1n, L., Vajda, I.: Provable Security of On-Demand Distance Vector Routing in Wireless Ad Hoc Networks. In: Molva, R., Tsudik, G., Westhoff, D. (eds.) ESAS 2005. LNCS, vol.\u00a03813, pp. 113\u2013127. Springer, Heidelberg (2005)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Karlof, C., Wagner, D.: Secure routing in wireless sensor networks: attacks and countermeasures. Ad Hoc Network Journal, 293-315 (Sep. 2003)","DOI":"10.1016\/S1570-8705(03)00008-8"}],"container-title":["Lecture Notes in Computer Science","Intelligence and Security Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71549-8_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:22:45Z","timestamp":1605745365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71549-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540715481","9783540715498"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71549-8_30","relation":{},"subject":[]}}