2017

Verifying Security Policies in Multi-agent Workflows with Loops

Tags

Conference / Medium

Proceedings of the 24th ACM Conference on Computer and Communication Security (CCS'17)

Date published

2017

Date last modified

2018-02-23 08:13:04

Authors

Download