Reasoning about Secure Interoperation using Soft Constraints (2005)

by S Bistarelli, S N Foley, B O’Sullivan
Venue:Proc. IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), Kluwer