{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:34:27Z","timestamp":1730234067720,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/icccn.2011.6005785","type":"proceedings-article","created":{"date-parts":[[2011,9,12]],"date-time":"2011-09-12T19:33:30Z","timestamp":1315856010000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Security Verification of Trust-Based Authentication Handover in IP Networks"],"prefix":"10.1109","author":[{"given":"Saleh","family":"Al-shadly","sequence":"first","affiliation":[]},{"given":"Omar","family":"Alfandi","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Brosenne","sequence":"additional","affiliation":[]},{"given":"Dieter","family":"Hogrefe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"A Security Protocol Animator Tool for AVISPA","author":"glouche","year":"2006","journal-title":"ARTIST-2 Workshop"},{"year":"0","author":"armando","journal-title":"AVISPA Library","key":"13"},{"key":"14","first-page":"193","author":"chevalier","year":"2004","journal-title":"A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/IAS.2008.29"},{"key":"12","first-page":"1","article-title":"Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single signon for google apps","author":"armando","year":"0","journal-title":"Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering (FMSE '08)"},{"key":"3","article-title":"Pre-authentication support for PANA","author":"ohba","year":"2006","journal-title":"IETF Draft"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/ICWMC.2008.42"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ICOIN.2008.4472766"},{"key":"10","first-page":"264","article-title":"Formal Verification of PAP and EAPMD5 Protocols in Wireless Networks: FDR Model Checking","volume":"2","author":"kim","year":"0","journal-title":"Proc 17th Int Conf Advanced Information Networking and Applications"},{"key":"7","first-page":"414","article-title":"The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols","author":"cremers","year":"0","journal-title":"Proceedings of the 20th International Conference on Computer Aided Verification (CAV '08)"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/CSFW.1997.596779"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"5"},{"key":"4","article-title":"The AVISPA Tool for the automated validation of internet security protocols and applications","volume":"3576","author":"armando","year":"0","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/359657.359659"},{"year":"1997","author":"clark","journal-title":"A Survey of Authentication Protocol Literature Version 1 0","key":"8"}],"event":{"name":"2011 20th International Conference on Computer Communications and Networks - ICCCN 2011","start":{"date-parts":[[2011,7,31]]},"location":"Lahaina, HI, USA","end":{"date-parts":[[2011,8,4]]}},"container-title":["2011 Proceedings of 20th International Conference on Computer Communications and Networks (ICCCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6005186\/6005707\/06005785.pdf?arnumber=6005785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:33:47Z","timestamp":1490085227000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6005785\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icccn.2011.6005785","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}