{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:44:53Z","timestamp":1730227493266,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/icacci.2018.8554412","type":"proceedings-article","created":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T20:17:32Z","timestamp":1543868252000},"page":"831-837","source":"Crossref","is-referenced-by-count":0,"title":["Resilient Mechanism for Security in Navigation of Service Vehicles and Aircrafts at Airports"],"prefix":"10.1109","author":[{"given":"Muzzammil","family":"Hussain","sequence":"first","affiliation":[]},{"given":"Komal","family":"Jhorar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.052"},{"journal-title":"A Short SPAN+ AVISPA Tutorial","year":"2015","author":"genet","key":"ref11"},{"key":"ref12","article-title":"Formal verification of cryptographic protocols: A survey","author":"meadows","year":"1994","journal-title":"International Conference on the Theory and Applications of Cryptology"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/382258.382789"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.04.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1352694.1352729"},{"key":"ref6","first-page":"10","article-title":"Secure sensor node authentication in wireless sensor networks","volume":"46","author":"al-mahmud","year":"2012","journal-title":"International Journal of Computer Applications"},{"key":"ref5","article-title":"Authentication schemes for wireless sensor nodes at a glance","author":"markmann","year":"2013","journal-title":"AW1 Report"},{"key":"ref8","first-page":"180s","article-title":"Communication scheme for airport service vehicles navigation","volume":"5","author":"zelinka","year":"2007","journal-title":"Continuity"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-81-322-2550-8_43"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11872153_42"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-007-9063-z"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755697"}],"event":{"name":"2018 International Conference on Advances in Computing, Communications and Informatics (ICACCI)","start":{"date-parts":[[2018,9,19]]},"location":"Bangalore","end":{"date-parts":[[2018,9,22]]}},"container-title":["2018 International Conference on Advances in Computing, Communications and Informatics (ICACCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536361\/8554361\/08554412.pdf?arnumber=8554412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T20:52:17Z","timestamp":1546980737000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8554412\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icacci.2018.8554412","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}