{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:32:41Z","timestamp":1725492761673},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441571"},{"type":"electronic","value":"9783540457329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45732-1_32","type":"book-chapter","created":{"date-parts":[[2007,10,11]],"date-time":"2007-10-11T00:38:56Z","timestamp":1192063136000},"page":"334-346","source":"Crossref","is-referenced-by-count":4,"title":["A Problem-Oriented Approach to Common Criteria Certification"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Rottke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Hatebur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"32_CR1","unstructured":"Common criteria. See http:\/\/www.commoncriteria.org\/ ."},{"issue":"4","key":"32_CR2","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0169-7552(89)90078-0","volume":"16","author":"F. Belina","year":"1989","unstructured":"F. Belina and D. Hogrefe. The CCITT Specification and Description Language SDL. Computer Networks and ISDN Systems, 16(4):311\u2013341, March 1989.","journal-title":"Computer Networks and ISDN Systems"},{"key":"32_CR3","unstructured":"B. Blanchard and W. Fabrycky. Systems Engeneering and Analysis. Prentice Hall, 1980."},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"M. Heisel. Agendas \u2014 a concept to guide software development activites. In R.N. Horspool, editor, Proc. Systems Implementation 2000, pages 19\u201332. Chapman & Hall London, 1998.","DOI":"10.1007\/978-0-387-35350-0_2"},{"key":"32_CR5","volume-title":"Technical report","author":"ITU-TS. ITU-TS Recommendation Z.120anb","year":"1998","unstructured":"ITU-TS. ITU-TS Recommendation Z.120anb: Formal Semantics of Message Sequence Charts. Technical report, ITU-TS, Geneva, 1998."},{"key":"32_CR6","unstructured":"M. Jackson. Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, 2001."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"K. Jensen. Colored Petri nets. Lecture Notes Comp. Sci.: Advances in petri nets, 254:248\u2013299, 1986.","DOI":"10.1007\/978-3-540-47919-2_10"},{"key":"32_CR8","unstructured":"K. Jensen. Colored Petri nets, Vol. II. Springer, 1995."},{"key":"32_CR9","unstructured":"G. Kolonya and I. Sommerville. Requirements Engineering. Wiley, 1997."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45732-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:40:44Z","timestamp":1556908844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45732-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441571","9783540457329"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45732-1_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}