{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T18:43:16Z","timestamp":1773081796497,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540888727","type":"print"},{"value":"9783540888734","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88873-4_14","type":"book-chapter","created":{"date-parts":[[2008,11,6]],"date-time":"2008-11-06T19:56:56Z","timestamp":1226001416000},"page":"1131-1139","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Extended Criteria for the Interoperability of Security Devices"],"prefix":"10.1007","author":[{"given":"Maurizio","family":"Talamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Arcieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Della Penna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Dimitri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedetto","family":"Intrigila","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Magazzeni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"CEN: TC224 WG15"},{"key":"14_CR2","unstructured":"D.M. S.O. n. 229 della G.U. 261 del 9\/11\/2007 Regole tecniche della Carta d\u2019identita elettronica (Technical Rules for the Eletronic Identity Card) (November 8, 2007)"},{"key":"14_CR3","unstructured":"Common Criteria for Information Technology Security Evaluation (September 2006)"},{"key":"14_CR4","unstructured":"CEN WORKSHOP AGREEMENT: Cwa 14169 (March 2004)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36575-3_1","volume-title":"Programming Languages and Systems","author":"X. Leroy","year":"2003","unstructured":"Leroy, X.: Computer security from a programming language and static analysis perspective. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 1\u20139. Springer, Heidelberg (2003)"},{"key":"14_CR6","unstructured":"Toll, D.C., Weber, S., Karger, P.A., Palmer, E.R., McIntosh, S.K.: Tooling in Support of Common Criteria Evaluation of a High Assurance Operating System. IBM Thomas J. Watson Research Center Report (2008)"},{"key":"14_CR7","unstructured":"Chapman, R.: Correctness by construction: a manifesto for high integrity software. In: SCS 2005: Proceedings of the 10th Australian workshop on Safety critical systems and software, pp. 43\u201346. Australian Computer Society, Inc. (2006)"},{"key":"14_CR8","unstructured":"CMurphi Web Page, \n                    \n                      http:\/\/www.di.univaq.it\/gdellape\/murphi\/cmurphi.php"},{"key":"14_CR9","unstructured":"Michael, C., Radosevich, W.: Black box security testing tools. Cigital (2005)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-39724-3_25","volume-title":"Correct Hardware Design and Verification Methods","author":"G. Penna Della","year":"2003","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., Venturini Zilli, M.: Integrating ram and disk based verification within the Mur\u03d5 verifier. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 277\u2013282. Springer, Heidelberg (2003)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-36580-X_13","volume-title":"Hybrid Systems: Computation and Control","author":"G. Della Penna","year":"2003","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Minichino, M., Ciancamerla, E., Parisse, A., Tronci, E., Venturini Zilli, M.: Automatic verification of a turbogas control system with the Mur\u03d5 verifier. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 141\u2013155. Springer, Heidelberg (2003)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/11691617_7","volume-title":"Model Checking Software","author":"I. Melatti","year":"2006","unstructured":"Melatti, I., Palmer, R., Sawaya, G., Yang, Y., Kirby, R.M., Gopalakrishnan, G.: Parallel and distributed model checking in eddy. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 108\u2013125. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88873-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T19:41:27Z","timestamp":1551642087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88873-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888727","9783540888734"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88873-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}