{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:40:18Z","timestamp":1730299218629,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/syscon.2013.6549863","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T11:42:56Z","timestamp":1373370176000},"page":"82-87","source":"Crossref","is-referenced-by-count":1,"title":["Simulation based verification of concurrent processing on security devices"],"prefix":"10.1109","author":[{"given":"M.","family":"Talamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Galinium","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. H.","family":"Schunck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Arcieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Model checking","year":"1999","author":"clarke","key":"19"},{"journal-title":"Validazione Dei Sistemi di Controllo Sintetizzati in Modo Automatico","year":"2012","author":"carocci","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_15"},{"year":"0","key":"15"},{"journal-title":"STL Pocket Reference","year":"2004","author":"lischner","key":"16"},{"key":"13","first-page":"102","article-title":"Interleaving command sequences: A threat to secure smartcard interoperability","author":"talamo","year":"2011","journal-title":"The 10th WSEAS International Conference on Information Security and Privacy (ISP 2011)"},{"key":"14","first-page":"76","article-title":"Interleaving commands: A threat to the interoperability of smartcard based security applications","volume":"6","author":"talamo","year":"2012","journal-title":"Int'l J Computer Comm"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.4236\/jis.2012.34032"},{"key":"12","first-page":"1222","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":"Organization Security and Commands for Interchange International Organization for Standardization Std","year":"2005","key":"3"},{"year":"0","key":"20"},{"journal-title":"European Committe for Standardization (CEN) Std","article-title":"EAL 4+ CWA 14 169, march","year":"2004","key":"2"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CCST.2012.6393546"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.2003.1232050"},{"key":"6","first-page":"120","article-title":"Towards interoperability: An architecture for paneuropean eid-based authentication services","author":"tauber","year":"2010","journal-title":"EGOVIS2010"},{"key":"5","article-title":"Government smart card interoperability specification, version 2.1","author":"schwarzhoff","year":"2003","journal-title":"United States of America National Institute for Standards and Technology (NIST)"},{"journal-title":"International Organization for Standardization Std","year":"2008","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88873-4_14"},{"key":"8","article-title":"Robustness and interoperability problems in security devices","author":"talamo","year":"2008","journal-title":"Proceedings of 4th International Conferences on Information Security and Cryptology INSCRYPT 2008"}],"event":{"name":"2013 7th Annual IEEE Systems Conference (SysCon)","start":{"date-parts":[[2013,4,15]]},"location":"Orlando, FL","end":{"date-parts":[[2013,4,18]]}},"container-title":["2013 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6542295\/6549844\/06549863.pdf?arnumber=6549863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:01:10Z","timestamp":1490216470000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6549863\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/syscon.2013.6549863","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}