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]
@inproceedings{BauereissH14-0,
title = {Security (Hyper-)properties in Workflow Systems: From Specification to Verification},
author = {Thomas Bauereiss and Dieter Hutter},
year = {2014},
url = {http://ceur-ws.org/Vol-1298/paper2.pdf},
researchr = {https://researchr.org/publication/BauereissH14-0},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Wouter Joosen and Fabio Martinelli and Thomas Heyman},
volume = {1298},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}