ENTCS
2007
Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
14 years 16 days ago
Pascal Lafourcade
Added |
13 Dec 2010 |
Updated |
13 Dec 2010 |
Type |
Journal |
Year |
2007 |
Where |
ENTCS |
Authors |
Pascal Lafourcade |
Comments (0)