Sciweavers

JELIA
2004
Springer

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

13 years 9 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where JELIA
Authors Alessandro Armando, Luca Compagna, Yuliya Lierler
Comments (0)