Please select one of the following links:
AVASP'05: ETAPS 2005 Tutorial on Automated Validation of Security Protocols
AVASP'04: IJCAR 2004 Tutorial on Automated Validation of Security Protocols
Last modified: Sun Jan 9 22:23:03 CET 2005