{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:04:00Z","timestamp":1746331440385,"version":"3.40.4"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319074245"},{"type":"electronic","value":"9783319074252"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07425-2_30","type":"book-chapter","created":{"date-parts":[[2014,6,18]],"date-time":"2014-06-18T22:16:59Z","timestamp":1403129819000},"page":"402-418","source":"Crossref","is-referenced-by-count":8,"title":["Multihop Node Authentication Mechanisms for Wireless Sensor Networks"],"prefix":"10.1007","author":[{"given":"Ismail","family":"Mansour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian","family":"Rusinek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rard","family":"Chalhoub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Ksiezopolski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Al-mahmud, A., Akhtar, R.: Secure sensor node authentication in wireless sensor networks. International Journal of Computer Applications 46(4), 10-17 (2012), Published by Foundation of Computer Science, New York, USA"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Automatic proof of strong secrecy for security protocols. In: IEEE Symposium on Security and Privacy, Oakland, California, pp. 86\u2013100 ( May 2004)","DOI":"10.1109\/SECPRI.2004.1301317"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","volume-title":"Computer Aided Verification","author":"C.J.F. Cremers","year":"2008","unstructured":"Cremers, C.J.F.: The Scyther Tool: Verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 414\u2013418. Springer, Heidelberg (2008)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-02002-5_5","volume-title":"Formal to Practical Security","author":"C.J.F. Cremers","year":"2009","unstructured":"Cremers, C.J.F., Lafourcade, P., Nadeau, P.: Comparing state spaces in automatic security protocol analysis. In: Cortier, V., Kirchner, C., Okada, M., Sakurada, H. (eds.) Formal to Practical Security. LNCS, vol.\u00a05458, pp. 70\u201394. Springer, Heidelberg (2009)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Daemen, J., Rijmen, V.: The Design of Rijndael: AES - The Advanced Encryption Standard. Springer (2002)","DOI":"10.1007\/978-3-662-04722-4"},{"issue":"3","key":"30_CR7","doi-asserted-by":"publisher","first-page":"1086","DOI":"10.1109\/TWC.2008.080128","volume":"8","author":"M.L. Das","year":"2009","unstructured":"Das, M.L.: Two-factor user authentication in wireless sensor networks. IEEE Transactions on Wireless Communications\u00a08(3), 1086\u20131090 (2009)","journal-title":"IEEE Transactions on Wireless Communications"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. In: Proceedings of the 22Nd Annual Symposium on Foundations of Computer Science, SFCS 1981, pp. 350\u2013357 (1981)","DOI":"10.1109\/SFCS.1981.32"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Han, K., Shon, T.: Sensor authentication in dynamic wireless sensor network environments. International Journal of RFID Security and Cryptography (2012)","DOI":"10.20533\/ijrfidsc.2046.3715.2012.0005"},{"key":"30_CR10","unstructured":"J\u00fcrjens, J.: Secure systems development with UML. Springer (2005)"},{"key":"30_CR11","first-page":"31","volume":"5","author":"T. Kavitha","year":"2010","unstructured":"Kavitha, T., Sridharan, D.: Security vulnerabilities in wireless sensor networks: A survey. Journal of Information Assurance and Security\u00a05, 31\u201334 (2010)","journal-title":"Journal of Information Assurance and Security"},{"issue":"4","key":"30_CR12","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.cose.2012.01.006","volume":"31","author":"B. Ksiezopolski","year":"2012","unstructured":"Ksiezopolski, B.: QoP-ML: Quality of protection modelling language for cryptographic protocols. Computers & Security\u00a031(4), 569\u2013596 (2012)","journal-title":"Computers & Security"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Ksiezopolski, B., Kotulski, Z.: Adaptable security mechanism for dynamic environments. Computers & Security, pp. 246\u2013255 (2007)","DOI":"10.1016\/j.cose.2006.11.002"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Ksiezopolski, B., Kotulski, Z., Szalachowski, P.: Adaptive approach to network security. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2009. CCIS, vol.\u00a039, pp. 233\u2013241. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02671-3_28"},{"key":"30_CR15","unstructured":"Ksiezopolski, B., Kotulski, Z., Szalachowski, P.: On qop method for ensuring availability of the goal of cryptographic protocols in the real-time systems. In: European Teletraffic Seminar 2011 (2011)"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"LeMay, E., Unkenholz, W., Parks, D., Muehrcke, C., Keefe, K., Sanders, W.H.: Adversary-driven state-based system security evaluation. In: Proceedings of the 6th International Workshop on Security Measurements and Metrics, MetriSec 2010, pp. 5:1\u20135:9. ACM (2010)","DOI":"10.1145\/1853919.1853926"},{"key":"30_CR17","unstructured":"Lindskog, S.: Modeling and Tuning Security from a Quality of Service Perspective. PhD thesis, Chalmers University of Technology (2005)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Liu, A., Ning, N.: Tinyecc: A configurable library for elliptic curve cryptography in wireless sensor networks. In: 7th International Conference on Information Processing in Sensor Networks, pp. 245\u2013256 (April 2008)","DOI":"10.1109\/IPSN.2008.47"},{"issue":"3","key":"30_CR19","first-page":"93","volume":"17","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the needham-schroeder public-key protocol using fdr. Software - Concepts and Tools\u00a017(3), 93\u2013102 (1996)","journal-title":"Software - Concepts and Tools"},{"issue":"11","key":"30_CR20","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1016\/j.comcom.2009.03.003","volume":"32","author":"A. Luo","year":"2009","unstructured":"Luo, A., Lin, C., Wang, K., Lei, L., Liu, C.: Quality of protection analysis and performance modeling in ip multimedia subsystem. Comput. Commun.\u00a032(11), 1336\u20131345 (2009)","journal-title":"Comput. Commun."},{"key":"30_CR21","unstructured":"Manica, N., Saloni, M., Toldo, P.: WSN - secure comunications with AES algoritms. University of Trento - Faculty of Computer Science (2008)"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Mansour, I., Chalhoub, G., Misson, M.: Security architecture for multi-hop wireless sensor networks. CRC Press Book (2014)","DOI":"10.1201\/b16754-10"},{"key":"30_CR23","unstructured":"Mansour, I., Lafourcade, P.: Scyther code of our authentication protocols (December 2013), http:\/\/sancy.univ-bpclermont.fr\/~lafourcade\/scyther-code.tar"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Petriu, D.C., Woodside, C.M., Petriu, D.B., Xu, J., Israr, T., Georg, G., France, R., Bieman, J.M., Houmb, S.H., J\u00fcrjens, J.: Performance analysis of security aspects in uml models. In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, pp. 91\u2013102. ACM (2007)","DOI":"10.1145\/1216993.1217010"},{"issue":"5","key":"30_CR25","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/S0167-739X(02)00180-2","volume":"19","author":"V.B. Pr\u00e9rez","year":"2003","unstructured":"Pr\u00e9rez, V.B., Gonz\u00e1lez, P., Cabaleiro, J.C., Heras, D.B., Pena, T.F., Pombo, J.J., Rivera, F.F.: Avispa: Visualizing the performance prediction of parallel iterative solvers. Future Generation Comp. Syst.\u00a019(5), 721\u2013733 (2003)","journal-title":"Future Generation Comp. Syst."},{"key":"30_CR26","unstructured":"C. Research. Standards for efficient cryptography, sec 1: Elliptic curve cryptography (September 2000)"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"Sun, Y., Kumar, A.: Quality-of-protection (qop): A quantitative methodology to grade security services. In: ICDCS Workshops, pp. 394\u2013399. IEEE Computer Society Press (2008)","DOI":"10.1109\/ICDCS.Workshops.2008.73"},{"key":"30_CR28","doi-asserted-by":"crossref","unstructured":"Yeh, H.-L., Chen, T.-H., Liu, P.-C., Kim, T.-H., Wei, H.-W.: A secured authentication protocol for wireless sensor networks using elliptic curves cryptography. Sensors\u00a011(5) (2011)","DOI":"10.3390\/s110504767"},{"key":"30_CR29","series-title":"LNICST","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/978-3-642-29154-8_16","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"J. Zhang","year":"2012","unstructured":"Zhang, J., Shankaran, R., Orgun, M.A., Sattar, A., Varadharajan, V.: A dynamic authentication scheme for hierarchical wireless sensor networks. In: S\u00e9nac, P., Ott, M., Seneviratne, A. (eds.) MobiQuitous 2010. LNICST, vol.\u00a073, pp. 186\u2013197. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Ad-hoc, Mobile, and Wireless Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07425-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T11:20:05Z","timestamp":1746271205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07425-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319074245","9783319074252"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07425-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}