Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.

Bernd Finkbeiner, Helmut Seidl, Christian Mller

Browse the full ATVA paper archive.