Optimistic protocols for fair exchange
Proceedings of the 4th ACM conference on Computer and communications security
Revisiting the PAXOS algorithm
Theoretical Computer Science
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
Distributed Algorithms
ACSAC '98 Proceedings of the 14th Annual Computer Security Applications Conference
Certified Email: Design and Implementation of a New Optimistic Protocol
ISCC '03 Proceedings of the Eighth IEEE International Symposium on Computers and Communications
A fair non-repudiation protocol
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
I/O Automaton Models and Proofs for Shared-Key Communication Systems
I/O Automaton Models and Proofs for Shared-Key Communication Systems
| Hi-index | 0.00 |