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