Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol.

Maria Christofi Aline Gouget

Published in: SEC (2012)

Keyphrases

formal verification
trusted third party
multi party non repudiation
third party
model checking
model checker
fair exchange
credit card
digital signature
authentication protocol
privacy protection
security services
fair exchange protocols
digital libraries
key management
key distribution