{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:42:19Z","timestamp":1743064939663,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617709"},{"type":"electronic","value":"9783540706755"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61770-1_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:22:37Z","timestamp":1330294957000},"page":"242-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Threat scenarios as a means to formally develop secure systems"],"prefix":"10.1007","author":[{"given":"Volkmar","family":"Lotz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","volume-title":"Secure Computer Systems: Mathematical Foundations (NTIS AD-770 768), A Mathematical Model (NTIS AD-771 543), A Refinement of the Mathematical Model (NTIS AD-780 528), MTR 2547 Vol. I\u2013III, ESD-TR-73-278","author":"D.E. Bell","year":"1973","unstructured":"D.E. Bell, L. LaPadula: Secure Computer Systems: Mathematical Foundations (NTIS AD-770 768), A Mathematical Model (NTIS AD-771 543), A Refinement of the Mathematical Model (NTIS AD-780 528), MTR 2547 Vol. I\u2013III, ESD-TR-73-278, Mitre Corporation, Bedford MA, 1973"},{"key":"17_CR2","volume-title":"Secure Computer Systems: Unified Exposition and Multics Interpretation, NTIS AD-A023 588, MTR 2997, ESD-TR-75-306","author":"D.E. Bell","year":"1976","unstructured":"D.E. Bell, L. LaPadula: Secure Computer Systems: Unified Exposition and Multics Interpretation, NTIS AD-A023 588, MTR 2997, ESD-TR-75-306, Mitre Corporation, Bedford MA, 1976"},{"key":"17_CR3","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber: The Design of Distributed Systems \u2014 An Introduction to FOCUS \u2014 Revised Version, Technical Report TUM-19202-2, Technische Universit\u00e4t M\u00fcnchen, 1993"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy: (Inter-)Action Refinement: The Easy Way, in: M. Broy (Ed.): Program Design Calculi, NATO ASI Series F, Vol. 118, Springer, 1993","DOI":"10.1007\/978-3-662-02880-3"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"M. Broy: Advanced Component Interface Specification, in: T. Ito, A. Yonezawa (Eds.): Theory and Practice of Parallel Programming, Proceedings TPP '94, Springer LNCS 907, 1995","DOI":"10.1007\/BFb0026580"},{"key":"17_CR6","unstructured":"M. Broy, K. St\u00f8len: Interactive System Design, Book Manuscript, 1996"},{"key":"17_CR7","volume-title":"Report 39","author":"M. Burrows","year":"1989","unstructured":"M. Burrows, M. Abadi, R. Needham: A Logic of Authentication, Report 39, Digital Systems Research Center, Palo Alto, 1989"},{"volume-title":"Sicherheitsmechanismen: Bausteine zur Entwicklung sicherer Systeme, REMO Arbeitsberichte","year":"1993","key":"17_CR8","unstructured":"O. Fries, A. Fritsch, V. Kessler, B. Klein (Hrsg.): Sicherheitsmechanismen: Bausteine zur Entwicklung sicherer Systeme, REMO Arbeitsberichte, Oldenbourg Verlag, M\u00fcnchen 1993 (in German)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, J. Meseguer: Security Policies and Security Models, Proc. of the IEEE Symposium on Security and Privacy, 1982, pp. 11\u201320","DOI":"10.1109\/SP.1982.10014"},{"volume-title":"Szenarien zur Sicherheit informationstechnischer Systeme, REMO Arbeitsberichte","year":"1993","key":"17_CR10","unstructured":"S. Herda, S. Mund, A. Steinacker (Hrsg.): Szenarien zur Sicherheit informationstechnischer Systeme, REMO Arbeitsberichte, Oldenbourg Verlag, M\u00fcnchen 1993 (in German)"},{"key":"17_CR11","unstructured":"ISO\/IEC CD 9798: Information Technology \u2014 Security Techniques \u2014 Entity Authentication Mechanisms, Part 2: Entity Authentication Using Symmetric Techniques, 1992"},{"key":"17_CR12","unstructured":"ISO\/IEC DIS 10181-2.2: Information Technology \u2014 Open Systems Interconnection \u2014 Security Framework for Open Systems: Authentication Framework, 1993"},{"key":"17_CR13","unstructured":"J.L. Jacob: Specifying Security Properties, in: C.A.R. Hoare (ed.): Developments in Concurrency and Communications, Addison-Wesley, 1990"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"C. Meadows: The NRL Protocol Analyzer: An Overview, Journal of Logic Programming, Vol. 19, 1994","DOI":"10.21236\/ADA463016"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"S. Mund: Sicherheitsanforderungen \u2014 Sicherheitsma\u00dfnahmen, VIS '93 (Herausgeber: P. Horster, G. Weck), Vieweg Verlag, 1993 (in German)","DOI":"10.1007\/978-3-322-88782-5_15"},{"key":"17_CR16","unstructured":"A.W. Roscoe, J.C.P. Woodcock, L. Wulf: Non-interference through Determinism, in: D. Gollmann: Computer Security \u2014 ESORICS '94, Springer LNCS 875, 1994"},{"key":"17_CR17","unstructured":"E. Snekkenes: Formal Specification and Analysis of Cryptographic Protocols, PhD thesis, 1995"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"P. Terry, S. Wiseman: A \u2018New\u2019 Security Policy Model, Proc. of the IEEE Symposium on Security and Privacy, 1989, pp. 215\u2013228","DOI":"10.1109\/SECPRI.1989.36296"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61770-1_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:26:05Z","timestamp":1742599565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61770-1_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617709","9783540706755"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61770-1_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}