{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T04:12:44Z","timestamp":1730261564358,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iecon.2013.6700423","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:14:59Z","timestamp":1389028499000},"page":"7736-7741","source":"Crossref","is-referenced-by-count":0,"title":["Model checking specifications of smart cards"],"prefix":"10.1109","author":[{"given":"Karin","family":"Greimel","sequence":"first","affiliation":[{"name":"NXP Semiconductors Austria GmbH, Mikronweg 1, A-8101 Gratkorn; Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Sessler","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Zeunerstr. 38, 01069 Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Klotz","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Zeunerstr. 38, 01069 Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Guideline for the Development and Evaluation of Formal Security Policy Models in the Scope of ITSEC and Common Criteria Version 2 0","year":"2007","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"journal-title":"Common Methodology for Information Technology Security Evaluation Version 3 1 Revision 3-Evaluation Methodology","year":"2009","key":"17"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV version 2: An opensource tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Proc Int Conf Computer-Aided Verification Ser LNCS"},{"journal-title":"Common Criteria for Information Technology Security Evaluation Version 3 1 Revision 3-Part 2","year":"2009","key":"15"},{"journal-title":"Common Criteria for Information Technology Security Evaluation Version 3 1 Revision 3-Part 2","year":"2009","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232039"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.68"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/.2001.980713"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01257083"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347044"},{"year":"0","key":"20"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"2"},{"year":"0","key":"1"},{"key":"10","article-title":"The topcased project: A toolkit in open source for critical aeronautic systems design","author":"farail","year":"2006","journal-title":"Proc Real-Time and Embedded System"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802301"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"9","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/10722167_45","article-title":"The statemate verification environment","volume":"1855","author":"bienm?uller","year":"2000","journal-title":"Proc Int Conf Computer-Aided Verification Ser LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0823-8_10"}],"event":{"name":"IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2013,11,10]]},"location":"Vienna, Austria","end":{"date-parts":[[2013,11,13]]}},"container-title":["IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6683943\/6699103\/06700423.pdf?arnumber=6700423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T09:59:41Z","timestamp":1623146381000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6700423\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iecon.2013.6700423","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}