Cap unification: application to protocol security modulo homomorphic encryption

We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and the intruder abilities as an equational theory. The problem of active intrusion

• Type: Journal
• Year: 2010
• Where: CCS
• Authors: Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
• Keywords: Cap Unification, Cap Unification Problem, CCS 2010, Equational Theory, Security Privacy