Soft Constraints for Security Protocol Analysis: Confidentiality.

Giampaolo Bella, Stefano Bistarelli

Browse the full PADL paper archive.