{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:39Z","timestamp":1750221279748,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,5]],"date-time":"2017-11-05T00:00:00Z","timestamp":1509840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,5]]},"DOI":"10.1145\/3137003.3137006","type":"proceedings-article","created":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T14:22:01Z","timestamp":1514557321000},"page":"51-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Continuous Verification for Cryptographic Protocol Development"],"prefix":"10.1145","author":[{"given":"Andres","family":"Molina-Markham","sequence":"first","affiliation":[{"name":"The MITRE Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul D.","family":"Rowe","sequence":"additional","affiliation":[{"name":"The MITRE Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. About | IoTivity. (2017). https:\/\/www.iotivity.org\/about  2017. About | IoTivity. (2017). https:\/\/www.iotivity.org\/about"},{"volume-title":"Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 66--85.","author":"Almousa Omar","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813662"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658996"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-130472"},{"key":"e_1_3_2_1_6_1","unstructured":"Joachim Bauernberger. 2016. An incomplete List of Organizations and Alliances for the Internet of Things. (March 2016). https:\/\/www.linkedin.com\/pulse\/incomplete-list-organizations-alliances-internet-joachim-bauernberger  Joachim Bauernberger. 2016. An incomplete List of Organizations and Alliances for the Internet of Things. (March 2016). https:\/\/www.linkedin.com\/pulse\/incomplete-list-organizations-alliances-internet-joachim-bauernberger"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10082-1_3"},{"key":"e_1_3_2_1_8_1","unstructured":"Bluetooth. 2017. Volunteer With The Sig | Bluetooth Technology Website. (2017). https:\/\/www.bluetooth.com\/membership-working-groups\/volunteer-with-the-sig  Bluetooth. 2017. Volunteer With The Sig | Bluetooth Technology Website. (2017). https:\/\/www.bluetooth.com\/membership-working-groups\/volunteer-with-the-sig"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0025"},{"key":"e_1_3_2_1_10_1","first-page":"2","article-title":"Breaking and fixing public-key","volume":"206","author":"Cervesato Iliano","year":"2008","journal-title":"Kerberos. Inf. Comput."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23822-2_18"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78636-8"},{"volume-title":"Abstraction and Refinement in Protocol Derivation. In 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004)","year":"2004","author":"Datta Anupam","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03829-7_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.3233\/JCS-1999-72-304","article-title":"Strand spaces: Proving security protocols correct","volume":"7","author":"F\u00e1brega THAYER","year":"1999","journal-title":"Journal of computer security"},{"key":"e_1_3_2_1_16_1","unstructured":"Stefanie Gerdes Ludwig Seitz Goran Selander Mehdi Mani and Sandeep Kumar. 2016. Use Cases for Authentication and Authorization in Constrained Environments. RFC RFC7744. IETF.  Stefanie Gerdes Ludwig Seitz Goran Selander Mehdi Mani and Sandeep Kumar. 2016. Use Cases for Authentication and Authorization in Constrained Environments. RFC RFC7744. IETF."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.23"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-140499"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49100-4_2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2000.856923"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"volume-title":"Fluffy: Simplified Key Exchange for Constrained Environments. Technical Report hardjono-ace-fluffy-03. https:\/\/datatracker.ietf.org\/doc\/rfc7744\/","year":"2016","author":"Hardjono T","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Thomas Hardjono and Brian Weis. 2004. The multicast group security architecture. RFC RFC 3740. IETF.  Thomas Hardjono and Brian Weis. 2004. The multicast group security architecture. RFC RFC 3740. IETF.","DOI":"10.17487\/rfc3740"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/374742.374746"},{"key":"e_1_3_2_1_26_1","unstructured":"ISO\/IEC 2011. 29128: Information Technology - Security techniques --- Verification of Cryptographic Protocols. ISO\/IEC.  ISO\/IEC 2011. 29128: Information Technology - Security techniques --- Verification of Cryptographic Protocols. ISO\/IEC."},{"volume-title":"5th International Workshop","year":"1997","author":"Kelsey John","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2017.38"},{"volume-title":"FC 2010 Workshops, RLCPS, WECSR, and WLC 2010","year":"2010","author":"Matsuo Shin'ichiro","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA465466"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2958031.2958047"},{"key":"e_1_3_2_1_33_1","unstructured":"MITRE. 2017. cpsa: Cryptographic Protocol Shapes Analyzer. (July 2017). https:\/\/github.com\/mitre\/cpsa  MITRE. 2017. cpsa: Cryptographic Protocol Shapes Analyzer. (July 2017). https:\/\/github.com\/mitre\/cpsa"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"C Neuman T Yu S Hartman and K Raeburn. 2005. The Kerberos network authentication service (V5). Standards Track RFC4120. https:\/\/www.ietf.org\/rfc\/rfc4120.txt  C Neuman T Yu S Hartman and K Raeburn. 2005. The Kerberos network authentication service (V5). Standards Track RFC4120. https:\/\/www.ietf.org\/rfc\/rfc4120.txt","DOI":"10.17487\/rfc4120"},{"key":"e_1_3_2_1_35_1","unstructured":"OCF. 2017. Open Connectivity Foundation (OCF). (2017). https:\/\/openconnectivity.org\/  OCF. 2017. Open Connectivity Foundation (OCF). (2017). https:\/\/openconnectivity.org\/"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49100-4_7"},{"key":"e_1_3_2_1_37_1","unstructured":"John D Ramsdell Joshua D Guttman Moses D Liskov and Paul D Rowe. 2009. The CPSA Specification: A Reduction System for Searching for Shapes in Cryptographic Protocols. The MITRE Corporation (2009).  John D Ramsdell Joshua D Guttman Moses D Liskov and Paul D Rowe. 2009. The CPSA Specification: A Reduction System for Searching for Shapes in Cryptographic Protocols. The MITRE Corporation (2009)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3011784.3011789"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-016-0319-z"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Tara Salman and Raj Jain. 2015. Networking Protocols and Standards for Internet of Things. Internet of Things and Data Analytics Handbook (2015) 215--238.  Tara Salman and Raj Jain. 2015. Networking Protocols and Standards for Internet of Things. Internet of Things and Data Analytics Handbook (2015) 215--238.","DOI":"10.1002\/9781119173601.ch13"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Jerome H Saltzer and M Frans Kaashoek. 2009. Principles of computer system design: an introduction. Morgan Kaufmann.  Jerome H Saltzer and M Frans Kaashoek. 2009. Principles of computer system design: an introduction. Morgan Kaufmann.","DOI":"10.1016\/B978-0-12-374957-4.00010-4"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866349"},{"key":"e_1_3_2_1_43_1","unstructured":"David J. Wu Ankur Taly Asim Shankar and Dan Boneh. 2016. Privacy Discovery and Authentication for the Internet of Things. arXiv:1604.06959 [cs] (April 2016). http:\/\/arxiv.org\/abs\/1604.06959 arXiv: 1604.06959.  David J. Wu Ankur Taly Asim Shankar and Dan Boneh. 2016. Privacy Discovery and Authentication for the Internet of Things. arXiv:1604.06959 [cs] (April 2016). http:\/\/arxiv.org\/abs\/1604.06959 arXiv: 1604.06959."},{"key":"e_1_3_2_1_44_1","unstructured":"Z-Wave. 2017. - The Internet of Things is powered by Z-Wave. (2017). http:\/\/z-wavealliance.org\/  Z-Wave. 2017. - The Internet of Things is powered by Z-Wave. (2017). http:\/\/z-wavealliance.org\/"},{"key":"e_1_3_2_1_45_1","unstructured":"Zigbee. 2017. zigbee alliance. (2017). http:\/\/www.zigbee.org\/  Zigbee. 2017. zigbee alliance. (2017). http:\/\/www.zigbee.org\/"}],"event":{"name":"SenSys '17: The 15th ACM Conference on Embedded Network Sensor Systems","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Delft Netherlands","acronym":"SenSys '17"},"container-title":["Proceedings of the 1st ACM Workshop on the Internet of Safe Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137003.3137006","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3137003.3137006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:17Z","timestamp":1750212677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3137003.3137006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,5]]},"references-count":43,"alternative-id":["10.1145\/3137003.3137006","10.1145\/3137003"],"URL":"https:\/\/doi.org\/10.1145\/3137003.3137006","relation":{},"subject":[],"published":{"date-parts":[[2017,11,5]]},"assertion":[{"value":"2017-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}