Login / Signup

Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols.

Lilia Georgieva
Published in: Financial Cryptography (2010)
Keyphrases
  • automatic analysis
  • cryptographic protocols
  • standard model
  • database
  • data mining
  • software engineering
  • computer systems
  • lightweight