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