Login / Signup
Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis.
Dawn Xiaodong Song
Sergey Berezin
Adrian Perrig
Published in:
J. Comput. Secur. (2001)
Keyphrases
</>
security protocols
data analysis
operating system
artificial immune algorithm