{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:12:52Z","timestamp":1730279572948,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T00:00:00Z","timestamp":1634947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T00:00:00Z","timestamp":1634947200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T00:00:00Z","timestamp":1634947200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,23]]},"DOI":"10.1109\/iwbis53353.2021.9631852","type":"proceedings-article","created":{"date-parts":[[2021,12,28]],"date-time":"2021-12-28T21:32:10Z","timestamp":1640727130000},"page":"121-126","source":"Crossref","is-referenced-by-count":1,"title":["Formal Analysis of Kang et al.'s Authentication Protocol using Tamarin-Prover"],"prefix":"10.1109","author":[{"given":"Alsita Putri","family":"Iriana","sequence":"first","affiliation":[]},{"given":"Sepha","family":"Siswantyo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59013-0_1"},{"key":"ref12","article-title":"Advancing Automated Security Protocol Verification","author":"meier","year":"2013","journal-title":"ETH Zuerich Switzerland"},{"key":"ref13","article-title":"Definition of Entity Authentication","author":"naveed","year":"2010","journal-title":"2010 2nd International Workshop on Security and Communication Networks (IWSCN) IWSCN"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.22373\/cj.v2i2.3453"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2200\/S00260ED1V01Y201003SPT002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.07.004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74852"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58146-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.08.040"},{"key":"ref8","article-title":"A Light Weight Authentication Protocol for IoT-Enabled Devices in Distributed Cloud Computing Environment","author":"amin","year":"2016","journal-title":"Future Generation Computer Systems"},{"journal-title":"Cryptographic Protocol Security Analysis Based on Trusted Freshness","year":"2011","author":"dong","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/1970798"},{"key":"ref1","article-title":"Internet of Things-IOT: Definition, Characteristics, Architecture, Enabling Technologies, Application & Future Challenges","volume":"6","author":"patel","year":"2016","journal-title":"IJESC"},{"journal-title":"Tamarin-Prover Manual","year":"2021","key":"ref9"}],"event":{"name":"2021 6th International Workshop on Big Data and Information Security (IWBIS)","start":{"date-parts":[[2021,10,23]]},"location":"Depok, Indonesia","end":{"date-parts":[[2021,10,25]]}},"container-title":["2021 6th International Workshop on Big Data and Information Security (IWBIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9631759\/9631838\/09631852.pdf?arnumber=9631852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:54:10Z","timestamp":1652201650000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9631852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,23]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iwbis53353.2021.9631852","relation":{},"subject":[],"published":{"date-parts":[[2021,10,23]]}}}