{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:00:27Z","timestamp":1725433227295},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/ccst.2012.6393546","type":"proceedings-article","created":{"date-parts":[[2013,5,16]],"date-time":"2013-05-16T13:55:38Z","timestamp":1368712538000},"page":"119-125","source":"Crossref","is-referenced-by-count":1,"title":["State space blow-up in the verification of secure smartcard interoperability"],"prefix":"10.1109","author":[{"given":"Maurizio","family":"Talamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maulahikmah","family":"Galinium","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian H.","family":"Schunck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Arcieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The CMurphi Verifier","year":"2005","author":"delia penna","key":"17"},{"journal-title":"Incrypto34\/2 User and Administrator Guidance","year":"0","author":"villani","key":"18"},{"journal-title":"Certification Report Cardos v42cns with Application for Digital Signature","year":"0","key":"15"},{"journal-title":"Opensc Tools and Libraries for Smartcard","year":"2011","key":"16"},{"key":"13","article-title":"Interleaving commands: A threat to the interoperability of smartcard based","author":"talamo","year":"0","journal-title":"International Journal OfComputer and Communication"},{"journal-title":"Bundesamt fuer Sicherheit in der Informationtechnik","year":"2005","key":"14"},{"journal-title":"Murphi Description Language and Automatic Verifier","year":"1996","author":"dill","key":"11"},{"key":"12","article-title":"Interleaving command sequences: A threat to secure smartcard interoperabil","author":"talamo","year":"0","journal-title":"The 10th WSEAS International Conference on Information Security and Privacy (ISP 2011)"},{"journal-title":"Identification Cards Integrated Circuit Cards Part 4 Organization Security and Commands for Interchange for Standardization Std","year":"2005","key":"3"},{"key":"2","first-page":"12221227","article-title":"Integrating secure messaging into opensc","author":"talamo","year":"2012","journal-title":"The 2nd International Conference on Computer and Management (CAMAN 2012)"},{"journal-title":"Common Criteria for Information Technology Security Evaluation Version 2 2","year":"2004","key":"1"},{"key":"10","first-page":"1131","article-title":"Verifying extended criteria for the interoperability","author":"talamo","year":"0","journal-title":"Proceedings of3rd International Symposium on Information Security IS08"},{"key":"7","article-title":"A protocol for Proceedings ofthe 14th International Workshopon Database and Expert Systems Applications (DEXA03)","author":"cucinotta","year":"2003","journal-title":"IEEE Computer Society"},{"key":"6","first-page":"120","author":"tauber","year":"0","journal-title":"Towards Interoperability An Architecture for Pan-EGOVIS 2010"},{"journal-title":"Government Smart Card Interoperability Specification Version 2 1","year":"2003","author":"schwarzhoff","key":"5"},{"journal-title":"Identification Cards Integrated Circuit Cards Programming Interfaces Part 3 Application Programming Interface Tion for Standardization Std","year":"2008","key":"4"},{"key":"9","article-title":"Robustness and interoperability problems","author":"talamo","year":"2008","journal-title":"Proceedings of4th International Conferences on Information Security and Cryptology INSCRYPT 2008"},{"key":"8","first-page":"433","author":"murdoch","year":"2010","journal-title":"Chip and IEEE Symposium on Security and Privacy"}],"event":{"name":"2012 IEEE International Carnahan Conference on Security Technology (ICCST)","start":{"date-parts":[[2012,10,15]]},"location":"Newton, MA, USA","end":{"date-parts":[[2012,10,18]]}},"container-title":["2012 IEEE International Carnahan Conference on Security Technology (ICCST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6381728\/6393529\/06393546.pdf?arnumber=6393546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T13:02:29Z","timestamp":1490187749000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6393546\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ccst.2012.6393546","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}