User: Guest  Login
Title:

Component Composition: Formal Specification and Verification of Cryptographic Properties

Author(s):
Maria Spichkova
Abstract:
This paper presents an optimized and refined methodology to specify crypto-based distributed software and to verify their composition properties in a formal way. We suggest to specify all components in Focus, a framework for formal specification and development of interactive systems. Having a formal Focus representation of a protocol components, one can argue about their properties and composition in a methodological way, referring to the approach ``Focus on Isabelle'' and checking t...     »
Keywords:
Formal Specification, Verification, Composition, Cryptographic Properties, FOCUS
Year:
2012
Language:
en
 BibTeX