Login / Signup
A framework for compositional verification of security protocols
Suzana Andova
Cas Cremers
Kristian Gjøsteen
Sjouke Mauw
Stig Fr. Mjølsnes
Sasa Radomirovic
Published in:
CoRR (2006)
Keyphrases
</>
security protocols
real time
databases
information systems
model checking