{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:42:53Z","timestamp":1725500573556},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775652"},{"type":"electronic","value":"9783540775669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77566-9_54","type":"book-chapter","created":{"date-parts":[[2008,1,5]],"date-time":"2008-01-05T06:18:43Z","timestamp":1199513923000},"page":"622-633","source":"Crossref","is-referenced-by-count":4,"title":["Classification, Formalization and Verification of Security Functional Requirements"],"prefix":"10.1007","author":[{"given":"Shoichi","family":"Morimoto","sequence":"first","affiliation":[]},{"given":"Shinjiro","family":"Shigematsu","sequence":"additional","affiliation":[]},{"given":"Yuichi","family":"Goto","sequence":"additional","affiliation":[]},{"given":"Jingde","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","unstructured":"Advanced Information Systems Engineering Laboratory, Saitama University: Formal Descriptions of ISO\/IEC 15408 Part 2, \n                    \n                      http:\/\/www.aise.ics.saitama-u.ac.jp\/"},{"key":"54_CR2","volume-title":"Systems and Software Verification \u2013Model-Checking Techniques and Tools","author":"B. Berard","year":"1999","unstructured":"Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification \u2013Model-Checking Techniques and Tools. Springer, Heidelberg (1999)"},{"key":"54_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a New Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"54_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"54_CR5","unstructured":"Common Criteria Project: Evaluated Product Files, \n                    \n                      http:\/\/www.commoncriteriaportal.org\/public\/files\/epfiles\/"},{"key":"54_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-45140-4_28","volume-title":"Advanced Information Systems Engineering","author":"S. Dupuy","year":"2000","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 417\u2013430. Springer, Heidelberg (2000)"},{"key":"54_CR7","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","volume-title":"Proceedings of the 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: a Combination of Object-Z and CSP. In: Proceedings of the 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems, pp. 423\u2013438. Chapman & Hall, Australia (1997)"},{"key":"54_CR8","unstructured":"ISO\/IEC 15408 Standard: Information Technology - Security Techniques - Evaluation Criteria for IT Security (1999)"},{"key":"54_CR9","volume-title":"The Way of Z: Practical Programming with Formal Methods","author":"J. Jacky","year":"1997","unstructured":"Jacky, J.: The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, Cambridge (1997)"},{"issue":"6","key":"54_CR10","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams using the SPIN Model Checker. Formal Aspects of Computing\u00a011(6), 637\u2013664 (1999)","journal-title":"Formal Aspects of Computing"},{"key":"54_CR11","first-page":"1506","volume-title":"Proceedings of the 22nd Annual ACM Symposium on Applied Computing","author":"S. Morimoto","year":"2007","unstructured":"Morimoto, S., Shigematsu, S., Goto, Y., Cheng, J.: Formal Verification of Security Specifications with Common Criteria. In: Proceedings of the 22nd Annual ACM Symposium on Applied Computing, pp. 1506\u20131512. ACM Press, New York (2007)"},{"key":"54_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES System. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol.\u00a01212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"issue":"3","key":"54_CR13","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/S1571-0661(04)00262-2","volume":"55","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science\u00a055(3), 357\u2013369 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"54_CR14","unstructured":"YAHODA: Verification Tools Database, \n                    \n                      http:\/\/anna.fi.muni.cz\/yahoda\/"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2008: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77566-9_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:07Z","timestamp":1619520307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77566-9_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540775652","9783540775669"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77566-9_54","relation":{},"subject":[]}}