{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:20:51Z","timestamp":1729671651202,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/iswcs.2008.4726137","type":"proceedings-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T16:46:54Z","timestamp":1246985214000},"page":"653-657","source":"Crossref","is-referenced-by-count":15,"title":["Modeling and analysis of IEEE 802.16 PKM Protocols using CasperFDR"],"prefix":"10.1109","author":[{"given":"Sen","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chin-Tser","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manton M.","family":"Matthews","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"breaking and fixing the needham-schroeder public-key protocol using fdr","author":"lowe","year":"1996","journal-title":"Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems"},{"journal-title":"Modern Cryptography Theory and Practice","year":"2004","key":"22"},{"key":"17","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/378570.378623","article-title":"security defects in the ccitt recommendation x. 509 - the directory authentication framework","volume":"20","author":"anson","year":"1990","journal-title":"Computer Communication Review"},{"volume":"509","journal-title":"CCITT X","year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74852"},{"key":"16","article-title":"prudent engineering practice for cryptographic protocols","author":"abadi","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s11859-006-0187-x"},{"key":"14","article-title":"analysis of the pkmv2 protocol in ieee 802.16e-2005 using static analysis","author":"yuksel","year":"2007","journal-title":"Informatics and Mathematical Modelling"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1109\/MSP.2004.20","article-title":"overview of ieee 802.16 security","author":"johnston","year":"2004","journal-title":"IEEE Security and Privacy"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1185448.1185474"},{"article-title":"security protocols in wirelessman","year":"2008","author":"xu","key":"21"},{"journal-title":"IEEE","article-title":"ieee std 802.16e-2005: air interface for fixed broadband wireless access system - amendment: physical and medium access control layers for combined fixed and mobile operation in licensed bands","year":"2006","key":"3"},{"key":"20","article-title":"analyzing a library of security protocols using casper and fdr","author":"donovan","year":"1999","journal-title":"Proceedings of Workshop on Formal Methods and Security Protocols"},{"journal-title":"IEEE","article-title":"ieee std 802.16-2004: air interface for fixed broadband wireless access system","year":"2004","key":"2"},{"year":"2002","key":"1","article-title":"work group, \"ieee std 802.16-2001: air interface for fixed broadband wireless access system,\" ieee"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISWCS.2006.4362284"},{"journal-title":"FDR2 user manual Failure-divergence refinement","year":"2000","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1995.518556"},{"journal-title":"Communicating Sequential Processes","year":"1985","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596779"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502680"}],"event":{"name":"2008 IEEE International Symposium on Wireless Communication Systems","start":{"date-parts":[[2008,10,21]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2008,10,24]]}},"container-title":["2008 IEEE International Symposium on Wireless Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4695855\/4725990\/04726137.pdf?arnumber=4726137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T17:38:47Z","timestamp":1497807527000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4726137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iswcs.2008.4726137","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}