Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: Author is Daniel Warzecha  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
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.