{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:10:28Z","timestamp":1778263828820,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"value":"9781441959058","type":"print"},{"value":"9781441959065","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4419-5906-5_858","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:53:10Z","timestamp":1319709190000},"page":"498-499","source":"Crossref","is-referenced-by-count":0,"title":["Formal Methods in Certification and Evaluation"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"858_CR1_858","unstructured":"DoD trusted computer security evaluation criteria, Dod 5200.28-STD, December\u00a01985"},{"key":"858_CR2_858","unstructured":"Information technology security evaluation criteria (ITSEC): preliminary harmonised criteria, Document COM(90) 314, Version 1.2. Commission of the European Communities, June\u00a01991"},{"key":"858_CR3_858","unstructured":"Common criteria for information technology security evaluation, Version 3.1, Revision 3, CCMB-2009-07-01, CMMB-2009-07-02, CCMB-2009-07-03, July\u00a02009"},{"issue":"1","key":"858_CR4_858","first-page":"82","volume":"34","author":"C Heitmeyer","year":"2008","unstructured":"Heitmeyer C, Archer M, Leonard E, McLean J (2008) Applying formal methods to a certifiably secure software system. IEEE Trans Software Eng 34(1):82\u201388","journal-title":"IEEE Trans Software Eng"},{"issue":"1","key":"858_CR5_858","first-page":"5","volume":"20","author":"J Woodcock","year":"2008","unstructured":"Woodcock J, Stepney S, Cooper D, Clark J, Jacob J (2008) The certification of the Mondex electronic purse to ITSEC level E6. Form Asp Comp 20(1):5\u201319","journal-title":"Form Asp Comp"},{"key":"858_CR6_858","unstructured":"Common criteria certified products list, common criteria portal. http:\/\/www.commoncriteriaportal.org\/products\/"},{"key":"858_CR7_858","unstructured":"ANSSI certified products list. http:\/\/www.ssi.gouv.fr\/site_rubrique101.html"},{"key":"858_CR8_858","unstructured":"NIAP CCEVS: products and protection profiles in evaluation. http:\/\/www.niap-ccevs.org\/cc-scheme\/in_evaluation\/"}],"container-title":["Encyclopedia of Cryptography and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-5906-5_858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:33:34Z","timestamp":1778261614000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-5906-5_858"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781441959058","9781441959065"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_858","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}