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