45 research outputs found
Compositional properties of crypto-based components
This paper presents an Isabelle/HOL+Isar set of theories which allows to
specify crypto-based components and to verify their composition properties wrt.
cryptographic aspects. We introduce a formalisation of the security property of
data secrecy, the corresponding definitions and proofs.Comment: Preprint. Archive of Formal Proofs, 2014, ISSN: 2150-914
Reconciling a component and process view
In many cases we need to represent on the same abstraction level not only
system components but also processes within the system, and if for both
representation different frameworks are used, the system model becomes hard to
read and to understand. We suggest a solution how to cover this gap and to
reconcile component and process views on system representation: a formal
framework that gives the advantage of solving design problems for large-scale
component systems.Comment: Preprint, 7th International Workshop on Modeling in Software
Engineering (MiSE) at ICSE 201