User: Guest  Login
Author(s):
Maria Spichkova 
Title:
Component Composition: Formal Specification and Verification of Cryptographic Properties 
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 checki...    »
 
Keywords:
Formal Specification, Verification, Composition, Cryptographic Properties, FOCUS 
Year:
2012 
Language:
en