Login / Signup
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
Dominik Haneberg
Gerhard Schellhorn
Holger Grandy
Wolfgang Reif
Published in:
Formal Aspects Comput. (2008)
Keyphrases
</>
security protocols
cryptographic protocols
artificial immune algorithm
automated design
security services
database
key management
business transactions
cryptographic algorithms
electronic transactions
authentication protocol
security mechanisms
rfid tags
end to end