Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
Author [ Title(Asc)] Type Year
Filters: Author is M. Ochoa and First Letter Of Title is S  [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 
S
M. Ochoa, Jürjens, J., and Warzecha, D., “A Sound Decision Procedure for the Compositionality of Secrecy”, in Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012), 2012.
M. Ochoa, “Security Guarantees and Evolution: From models to reality”, in Electronic Proceedings of the 1st ESSoS Doctoral Symposium (ESSoS-DS 2012), 2012.