Sciweavers

LISP
2007

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

14 years 10 days ago
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
José Meseguer, Prasanna Thati
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where LISP
Authors José Meseguer, Prasanna Thati
Comments (0)