Publications
] Filters: Author is Daniel Warzecha [Clear All Filters]
"A Sound Decision Procedure for the Compositionality of Secrecy",
4th International Symposium on Engineering Secure Software and Systems (ESSOS 2012): Springer, 2012.
|
Security Engineering for Lifelong Evolvable Systems
|
|
