{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:02:44Z","timestamp":1729609364290,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/ipdps.2006.1639687","type":"proceedings-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T15:59:56Z","timestamp":1152547196000},"page":"7 pp.","source":"Crossref","is-referenced-by-count":0,"title":["A correctness proof of the SRP protocol"],"prefix":"10.1109","author":[{"family":"Huabing Yang","sequence":"first","affiliation":[]},{"family":"Xingyuan Zhang","sequence":"additional","affiliation":[]},{"family":"Yuanyuan Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/986858.986861"},{"key":"18","first-page":"221","article-title":"Liveness reasoning for inductive protocol verification","author":"zhang","year":"2005","journal-title":"The 'Emerging Trend' of TPHOLs 2005"},{"journal-title":"Formal verification and analysis of a routing protocol for ad-hoc networks","year":"2000","author":"tanara lauschner","key":"15"},{"key":"16","first-page":"190","article-title":"Liveness proof of an elevator control system","author":"yang","year":"2005","journal-title":"The 'Emerging Trend' of TPHOLs 2005"},{"key":"13","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","article-title":"The inductive approach to verifying cryptographic protocols","volume":"5","author":"paulson","year":"1998","journal-title":"J Computer Security"},{"key":"14","article-title":"Formal verification of ad-hoc routing protocols using spin model checker","author":"renesse","year":"2004","journal-title":"IEEE Melecon"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SAINTW.2003.1210190"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/941311.941318"},{"key":"3","first-page":"768","article-title":"A validation model for the dar protocol","author":"cavalli","year":"2004","journal-title":"ICDCS Workshops"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1029102.1029119"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"10","article-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","volume":"2283","author":"nipkow","year":"2002","journal-title":"LNCS"},{"key":"7","article-title":"The dynamic source routing protocol for mobile ad hoc networks (dsr)","author":"johnson","year":"2004","journal-title":"Internet Draft draft-ietf-manet-dsr-10 txt"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-004-4744-y"},{"key":"5","article-title":"Securing ad hoc routing protocols","author":"guerrero","year":"2002","journal-title":"ACM Workshop on Wireless Security (WiSe) in conjunction with ACM MobiCom"},{"key":"4","article-title":"A secure routing protocol for ad hoc networks","author":"dahill","year":"2002","journal-title":"10th Conference on Network Protocols"},{"key":"9","first-page":"141","article-title":"Static analysis of routing protocols for ad-hoc networks","author":"nanz","year":"2004","journal-title":"Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1 7 Workshop on Issues in the Theory of Security (WITS'04)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90041-Y"}],"event":{"name":"Proceedings 20th IEEE International Parallel & Distributed Processing Symposium","start":{"date-parts":[[2006,4,25]]},"location":"Rhodes Island, Greece","end":{"date-parts":[[2006,4,29]]}},"container-title":["Proceedings 20th IEEE International Parallel & Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10917\/34366\/01639687.pdf?arnumber=1639687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T19:22:50Z","timestamp":1555701770000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1639687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2006.1639687","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}