Stream Based Specification of Cryptographic Protocols and Their Composition Properties

Spichkova, M and Juerjens, J 2008, Stream Based Specification of Cryptographic Protocols and Their Composition Properties, TU München, Munich, Germany


Document type: Commissioned Reports
Collection: Commissioned Reports

Title of report Stream Based Specification of Cryptographic Protocols and Their Composition Properties
Author(s) Spichkova, M
Juerjens, J
Year of publication 2008
Publisher TU München
Place of publication Munich, Germany
Subjects Software Engineering
Abstract/Summary The correct development of security-critical systems is very difficult, as demonstrated by many insecure systems that have been developed in research and practice. A particular challenge is the establishment of security properties for separate components in an open, distributed system, in a way that the interaction of these components will still satisfy the security properties established for each component in isolation. We present a methodology to represent crypto-based, distributed systems and software and their composition properties in a formal way using Focus, a framework for formal specification and development of interactive systems. Using this formal representation, one can argue about properties of protocol components and their composition in a methodological way
Commissioning body TU München
Versions
Version Filter Type
Access Statistics: 4 Abstract Views  -  Detailed Statistics
Created: Thu, 06 Dec 2018, 10:39:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us