{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:21:44Z","timestamp":1758122504167},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691723"},{"type":"electronic","value":"9783540691730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964254_5","type":"book-chapter","created":{"date-parts":[[2007,2,26]],"date-time":"2007-02-26T11:17:55Z","timestamp":1172488675000},"page":"32-42","source":"Crossref","is-referenced-by-count":16,"title":["Tiny 3-TLS: A Trust Delegation Protocol for Wireless Sensor Networks"],"prefix":"10.1007","author":[{"given":"Sepideh","family":"Fouladgar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastien","family":"Mainaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Masmoudi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hossam","family":"Afifi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"The Avrora project homepage, http:\/\/compilers.cs.ucla.edu\/avrora\/"},{"key":"5_CR2","unstructured":"The AVISPA project homepage, http:\/\/www.avispa-project.org\/"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Watro, R., Kong, D., Cuti, S., Gardiner, C., Lynn, C., Kruus, P.: TinyPK: Securing Sensor Networks with Public Key Technology. In: ACM Workshop on Security of Ad Hoc and Sensor Networks (October 2004)","DOI":"10.1145\/1029102.1029113"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Gupta, V., Millard, M., Fung, S., Zhu, Y., Gura, N., Eberle, H., Shantz, S.C.: Sizzle: A Standards-based end-to-end Security Architecture for the Embedded Internet. In: Third IEEE International Conference on Pervasive Computing and Communications (March 2005)","DOI":"10.1109\/PERCOM.2005.41"},{"key":"5_CR5","unstructured":"Masmoudi, K., Hussein, M., Afifi, H., Seret, D.: Tri-party TLS Adaptation for Trust Delegation in Home Networks. In: IEEE International Conference on Security and Privacy for Emerging Areas in Communication Networks (September 2005)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: The Transport Layer Security (TLS) Protocol - Version 1.1. IETF RFC 4346 (April 2006)","DOI":"10.17487\/rfc4346"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1090\/S0025-5718-1987-0866109-5","volume":"48","author":"N. Koblitz","year":"1987","unstructured":"Koblitz, N.: Elliptic Curve Cryptosystems. Mathematics of Computation\u00a048, 203\u2013209 (1987)","journal-title":"Mathematics of Computation"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/3-540-39799-X_31","volume-title":"Advances in Cryptology","author":"V. Miller","year":"1986","unstructured":"Miller, V.: Uses of Elliptic Curves in Cryptography. In: Williams, H.C. (ed.) CRYPTO 1985. LNCS, vol.\u00a0218, pp. 417\u2013426. Springer, Heidelberg (1986)"},{"key":"5_CR9","unstructured":"Chevalier, Y., et al.: A High-Level Protocol Specification Language for Industrial Security-Sensitive Protocols, www.avispa-project.org"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the Security of Public-Key Protocols. IEEE Transactions on Information Theory\u00a02(29) (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Basin, D., Modersheim, S., Viganno, L.: OFMC: A Symbolic Model-Checker for Security Protocols. International Journal of Information Security (2004)","DOI":"10.1007\/s10207-004-0055-7"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR13","unstructured":"Wireless medium access control and physical layer specifications for low-rate wireless personal area networks. IEEE Standard, 802.15.4-2003 (May 2003), ISBN 0-7381-3677-5"},{"key":"5_CR14","unstructured":"IST MAGNET-Beyond project homepage, http:\/\/www.ist-magnet.org"},{"key":"5_CR15","unstructured":"IEEE Std. 802.1X-2004, Standards for Local and Metropolitan Area Networks: Port Based Network Acces Control"}],"container-title":["Lecture Notes in Computer Science","Security and Privacy in Ad-Hoc and Sensor Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964254_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:23:02Z","timestamp":1619508182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964254_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540691723","9783540691730"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11964254_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}