Login / Signup

Reasoning about Secure Interoperation Using Soft Constraints.

Stefano BistarelliSimon N. FoleyBarry O'Sullivan
Published in: Formal Aspects in Security and Trust (2004)
Keyphrases