Sign in
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques.
Davide Marchignoli
Fabio Martinelli
Published in:
TACAS (1999)
Keyphrases
</>
cryptographic protocols
data analysis
database
information systems