Export 1 results:
Author Title Type [ Year
] Filters: Author is D. Hutter and First Letter Of Title is S [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.