Security Engineering for Lifelong Evolvable Systems


Export 1 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Daniel Warzecha  [Clear All Filters]
Ochoa, M., J. Jürjens, and D. Warzecha, "A Sound Decision Procedure for the Compositionality of Secrecy", 4th International Symposium on Engineering Secure Software and Systems (ESSOS 2012): Springer, 2012.