{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:51Z","timestamp":1750308711857,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"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":[[2012,10]]},"DOI":"10.1145\/2422498.2422507","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T12:58:22Z","timestamp":1357217902000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Incremental development of large, secure smart card applications"],"prefix":"10.1145","author":[{"given":"Nina","family":"Moebius","sequence":"first","affiliation":[{"name":"University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[{"name":"University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marian","family":"Borek","sequence":"additional","affiliation":[{"name":"University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[{"name":"University of Augsburg, Augsburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"426","volume":"1000","author":"Anderson R. J.","year":"1995","unstructured":"R. J. Anderson and R. M. Needham . Programming satan's computer. In Computer Science Today , volume 1000 , pages 426 -- 440 . Springer, 1995 . R. J. Anderson and R. M. Needham. Programming satan's computer. In Computer Science Today, volume 1000, pages 426--440. Springer, 1995.","journal-title":"Programming satan's computer. In Computer Science Today"},{"key":"e_1_3_2_1_2_1","volume-title":"Fundamental Approaches to Software Engineering","author":"Balser M.","year":"2000","unstructured":"M. Balser , W. Reif , G. Schellhorn , K. Stenzel , and A. Thums . Formal system development with KIV . In Fundamental Approaches to Software Engineering . Springer LNCS 1783, 2000 . M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums. Formal system development with KIV. In Fundamental Approaches to Software Engineering. Springer LNCS 1783, 2000."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines---A Method for High-Level System Design and Analysis","author":"B\u00f6rger E.","year":"2003","unstructured":"E. B\u00f6rger and R. F. St\u00e4rk . Abstract State Machines---A Method for High-Level System Design and Analysis . Springer-Verlag , 2003 . E. B\u00f6rger and R. F. St\u00e4rk. Abstract State Machines---A Method for High-Level System Design and Analysis. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.32"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/557365"},{"key":"e_1_3_2_1_7_1","volume-title":"The Security Development Lifecycle: SDL: A Process for Developing Demonstrably More Secure Software","author":"Howard M.","year":"2006","unstructured":"M. Howard and S. Lipner . The Security Development Lifecycle: SDL: A Process for Developing Demonstrably More Secure Software . Microsoft Press , 2006 . M. Howard and S. Lipner. The Security Development Lifecycle: SDL: A Process for Developing Demonstrably More Secure Software. Microsoft Press, 2006."},{"key":"e_1_3_2_1_8_1","unstructured":"Application Programming Interface Java Card Platform Version 2.2.1 Oktober 2003. URL: www.oracle.com\/technetwork\/java\/javame\/javacard. Application Programming Interface Java Card Platform Version 2.2.1 Oktober 2003. URL: www.oracle.com\/technetwork\/java\/javame\/javacard."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3414\/ME9122"},{"key":"e_1_3_2_1_10_1","volume-title":"Model-Driven Testing of Security Protocols with SecureMDD. In Fifth IFIP International Conference on New Technologies, Mobility and Security (NTMS 2012","author":"Katkalov K.","year":"2012","unstructured":"K. Katkalov , N. Moebius , K. Stenzel , M. Borek , and W. Reif . Model-Driven Testing of Security Protocols with SecureMDD. In Fifth IFIP International Conference on New Technologies, Mobility and Security (NTMS 2012 ). IEEE XPlore, 2012 . K. Katkalov, N. Moebius, K. Stenzel, M. Borek, and W. Reif. Model-Driven Testing of Security Protocols with SecureMDD. In Fifth IFIP International Conference on New Technologies, Mobility and Security (NTMS 2012). IEEE XPlore, 2012."},{"key":"e_1_3_2_1_11_1","first-page":"147","volume-title":"Second International Workshop (TACAS)","author":"Lowe G.","year":"1996","unstructured":"G. Lowe . Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In Tools and Algorithms for Construction and Analysis of Systems , Second International Workshop (TACAS) , pages 147 -- 166 . Springer LNCS 1055 , 1996 . G. Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. In Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop (TACAS), pages 147--166. Springer LNCS 1055, 1996."},{"key":"e_1_3_2_1_12_1","volume-title":"SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. In Workshop on Secure Software Engineering, SecSE, at ARES 2009","author":"Moebius N.","year":"2009","unstructured":"N. Moebius , K. Stenzel , H. Grandy , and W. Reif . SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. In Workshop on Secure Software Engineering, SecSE, at ARES 2009 . IEEE Press , 2009 . N. Moebius, K. Stenzel, H. Grandy, and W. Reif. SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. In Workshop on Secure Software Engineering, SecSE, at ARES 2009. IEEE Press, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11747-3_13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.33"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_3_2_1_16_1","first-page":"6","author":"Paulson L. C.","year":"1998","unstructured":"L. C. Paulson . The Inductive Approach to Verifying Cryptographic Protocols. J. Computer Security , 6 , 1998 . L. C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. J. Computer Security, 6, 1998.","journal-title":"Verifying Cryptographic Protocols. J. Computer Security"},{"key":"e_1_3_2_1_17_1","volume-title":"14th International Conference, MODELS 2011. Springer LNCS 6981","author":"Stenzel K.","year":"2011","unstructured":"K. Stenzel , N. Moebius , and W. Reif . Formal verification of QVT transformations for code generation. In Model Driven Engineering Languages and Systems , 14th International Conference, MODELS 2011. Springer LNCS 6981 , 2011 . K. Stenzel, N. Moebius, and W. Reif. Formal verification of QVT transformations for code generation. In Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011. Springer LNCS 6981, 2011."}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the Workshop on Model-Driven Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2422498.2422507","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2422498.2422507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:15Z","timestamp":1750277655000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2422498.2422507"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":17,"alternative-id":["10.1145\/2422498.2422507","10.1145\/2422498"],"URL":"https:\/\/doi.org\/10.1145\/2422498.2422507","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]},"assertion":[{"value":"2012-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}