Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is Daniel Warzecha  [Clear All Filters]
Conference Paper
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.