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

Export 2 results:
Author Title [ Type(Asc)] Year
Filters: Author is J. Jürjens  [Clear All Filters]
Conference Paper
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, Jürjens, J., and Cúellar, J., “Non-interference on UML State-charts”, in Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012), 2012.