Login / Signup

C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis.

Anthony H. Dekker
Published in: CSFW (2000)
Keyphrases
  • analysis tool
  • data analysis
  • image analysis
  • fully automatic