
[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach
Küsters, Ralf, Truderung, TomaszAnnée:
2008
Langue:
english
DOI:
10.1145/1455770.1455788
Fichier:
PDF, 294 KB
english, 2008