Login / Signup
Modeling Adversaries in a Logic for Security Protocol Analysis.
Joseph Y. Halpern
Riccardo Pucella
Published in:
FASec (2002)
Keyphrases
</>
data analysis
security protocols
intrusion detection
operating system