A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol.
Almudena AlcaideJuan M. Estévez-TapiadorAntonio IzquierdoJosé María SierraPublished in: ICCSA (4) (2005)
Keyphrases
- formal analysis
- multi party non repudiation
- signature scheme
- fair exchange
- digital signature
- trusted third party
- ban logic
- payment protocol
- public key
- formal methods
- agent model
- fair exchange protocols
- standard model
- digital signature scheme
- machine learning
- provably secure
- public key cryptography
- elliptic curve
- electronic commerce
- diffie hellman
- key distribution
- development process
- resource allocation
- knowledge acquisition
- database systems