Athena: a novel approach to efficient automatic security protocol analysis (2001)

Cached

Download Links

by Dawn Song , Sergey Berezin , Adrian Perrig
Venue:Journal of Computer Security
Citations:65 - 3 self