Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents

Finkbeiner, Bernd and Seidl, Helmut and Müller, Christian
(2016) Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.
In: Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016).
Conference: ATVA - International Symposium on Automated Technology for Verification and Analysis

[img] Text
978-3-319-46520-3_11 - Published Version

Download (177kB)

Actions

Actions (login required)

View Item View Item