Verifying Security Policies in Multi-agent Workflows with Loops.

Bernd Finkbeiner, Christian Mller, Helmut Seidl, Eugen Zalinescu

Browse the full CCS paper archive.