Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Communications of the ACM
Secure agreement protocols: reliable and atomic group multicast in rampart
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
Distributing trust with the Rampart toolkit
Communications of the ACM
Using encryption for authentication in large networks of computers
Communications of the ACM
Applying the dependability paradigm to computer security
NSPW '95 Proceedings of the 1995 workshop on New security paradigms
On Denial-of-Service in Computer Networks
Proceedings of the Second International Conference on Data Engineering
The Rampart Toolkit for Building High-Integrity Services
Selected Papers from the International Workshop on Theory and Practice in Distributed Systems
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A Different Look at Secure Distributed Computation
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Proceedings of the 13th international conference on Security protocols
Secure sessions from weak secrets
Proceedings of the 11th international conference on Security Protocols
| Hi-index | 0.00 |
We believe that to date the use of fault tolerance within secure services has been limited to the scope of replicating services. We demonstrate that controlling state within a protocol execution can be a useful abstraction of fault tolerance within a secure environment, and this can lead to more widespread use of fault tolerance within secure services.