DMCA

Reasoning about secure interoperation using soft constraints (2004)

by Stefano Bistarelli , Simon N. Foley
Venue:In Proceedings of FAST-2004 Workshop on Formal Aspects of Security and Trust
Citations:3 - 3 self