Security (Hyper-)properties in Workflow Systems: From Specification to Verification

Thomas Bauereiss, Dieter Hutter. Security (Hyper-)properties in Workflow Systems: From Specification to Verification. In Wouter Joosen, Fabio Martinelli, Thomas Heyman, editors, Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014. Volume 1298 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.