Sign in
Timed Analysis of Security Protocols
Ricardo Corin
Sandro Etalle
Pieter H. Hartel
Angelika Mader
Published in:
CoRR (2005)
Keyphrases
</>
security protocols
databases
real time
artificial intelligence
case study
digital libraries
data analysis