Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is S and Author is D. Hutter [Clear All Filters]
, “Security (hyper-)properties in workflow systems: From specification to verification”, in Electronic Proceedings of the Doctoral Symposium at the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2014), 2014.