Inproceedings,

Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.

, , and .
ATVA, volume 9938 of Lecture Notes in Computer Science, page 157-173. (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews