Home Publications

A Sound Decision Procedure for the Compositionality of Secrecy

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • Ochoa, Martín
  • Jürjens, Jan
  • Warzecha, Daniel
Volume: 7159
Book title: Proc. of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012
Series: LNCS Pages: 97-105
PARTNERS: Siemens; University of Dortmund PROJECTS: NESSoS, MoDelSec (RS3, DFG); citations: 4