Publications

Complexity of Fairness Constraints for the Dolev-Yao Attacker Model

AuthID
P-007-YSN

Author(s)

Cederquist, J

Dashti, MT

Document Type

Proceedings Paper

Year published

2011

Published

in Proceedings of the ACM Symposium on Applied Computing

Pages: 1502-1509

Conference

26Th Annual Acm Symposium on Applied Computing, Sac 2011, Date: 21 March 2011 through 24 March 2011, Location: TaiChung, Sponsors: ACM Special Interest Group on Applied Computing (SIGAPP);Tunghai University;Taiwan Ministry of Education;Taiwan Bureau of Foreign Trade;Taiwan National Science Council (NSC)

Indexing