The Rampart toolkit for building high-integrity services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 938, Issue , 1995, Pages 99-110

  Reiter, Michael K ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS; MULTICASTING;

BYZANTINE AGREEMENT; DISTRIBUTED SERVICE; GROUP MEMBERSHIPS; NEW APPROACHES; PROTOCOL ARCHITECTURE; PROTOTYPE IMPLEMENTATIONS; RELIABLE MULTICAST; STATE MACHINE REPLICATION;

NETWORK ARCHITECTURE;

EID: 84948956297     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60042-6_7     Document Type: Conference Paper

References (31)

1. Y. Amir, D. Dolev, S. Kramer, and D. Malki. Transis: A communication subsystem for high availability. In Proceedings of the 2nd International Symposium on Fault-Tolerant Computing, pages 76-84, 1992.
2. D. Atkins, M. Graft, A.K. Lenstra, and P. C. Leyland. The magic words are squeamish ossifrage. In Proceedings of Asiacrypt '9, pages 219-229, 1994.
3. K. P. Birman, A. Schiper, and P. Stephenson. Lightweight causal and atomic group multicast. ACM Transactions on Computer Systems, 9(3):272-314, 1991.
4. K. P. Birman and R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, Los Alamitos, California, 1994.
5. E. Brickell. A survey of hardware implementations of RSA. In G. Brassard, editor, Advances in Croptology--CRYPTO '89 Proceedings (Lecture Notes in Computer Science 435), pages 368-370. Springer-Verlag, 1990.
6. T. D. Chandra and S. Toueg. Unreliable failure detectors for asynchronous systems. In Proceedings of the lOth ACM Symposium on Principles of Distributed Computing, pages 325-340, 1991.
7. F. Cristian, H. Aghili, R. Strong, and D. Dolev. Atomic broadcast: From simple message diffusion to Byzantine agreement. In Proceedings of the 15th International Symposium on Fault-Tolerant Computing, pages 200-206, June 1985. A revised version appears as IBM Research Laboratory Technical Report tL15244 (April 1989).
8. Y. Desmedt and Y. Frankel. Shared generation of authenticators and signatures. In J. Feigenbanm, editor, Advances in Cryptology--CRYPTO '91 Proceedings (Lecture Notes in Computer Science 576), pages 457-469. Springer-Verlag, 1992.
9. S. I. Dusst and B.S. Kaliski Jr. A cryptographic library for the Motorola DSP56000. In I. B. Damgard, editor, Advances in Cryptology--EUROCRYPT '90 Proceedings (Lecture Notes in Computer Science 473), pages 230-244. Springer-Verlag, 1991.
10. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):874-382, 1985.
11. M. K. Franklin and M. K. Reiter. The design and implementation of a secure auction service. In Proceedings of the I995 IEEE Symposium on Security and Privacy, May 1995. To appear.
12. M. K. Franklln and M. Yung. The varieties of secure distributed computation. In Proceedings of Sequences II, Methods in Communications, Security and Computer Science, pages 392-417, June 1991.
13. L. Gong. A secure identity-based capability system. In Proceedings of the 1989 IEEE Symposium on Security and Privacy, pages 56-63, 1989.
14. L. Gong. Securely replicating authentication services. In Proceedings of the 9th International Conference on Distributed Computing Systems, pages 85-91, 1989.
15. M. P. Herlihy and J.D. Tygar. How to make replicated data secure. In C. Pomerance, editor, Advances in Cryptology--CRYPTO '87 Proceedings (Lecture Notes in Computer Science 293), pages 379-391. Springer-Verlag, 1988.
16. M. F. Kaashoek. Group Communication in Distributed Computer Systems. PhD thesis, Vrije Universiteit, The Netherlands, 1992.
17. L. Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382-401, July 1982.
18. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. A CM Transactions on Computer Systems, 10(4):265-310, 1992.
19. P. M. Melliar-Smith, L. E. Moser, and V. Agrawala. Broadcast protocols for distributed systems. IEEE Transactions on Parallel and Distributed Systems, 1(1):17-25, 1990.
20. L. L. Peterson, N. C. Buchholz, and R. D. Schlichting. Preserving and using context information in interprocess communication. A CM Transactions on Computer Systems, 7(3):217-246, 1989.
21. F. M. Pittelli and H. Garcia-Molina. Reliable scheduling in a TMR database system. ACM Transactions on Computer Systems, 7(1):25-60, 1989.
22. M. K. Reiter. Secure agreement protocols: Reliable and atomic group multicast in Rampart. In Proceedings of the 2nd A CM Conference on Computer and Communications Security, pages 68-80, 1994.
23. M. K. Reiter. A secure group membership protocol. In Proceedings of the 1999 IEEE Symposium on Research in Security and Privacy, pages 176-189, 1994.
24. M. K. Reiter and K. P. Birman. How to securely replicate services. ACM Transactions on Programming Languages and Systems, 16(3):986-1009, 1994.
25. R. L. Rivest, A. Shamir, and L. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM, 21(2):120-126, 1978.
26. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys, 22(4):299-319, 1990.
27. S. K. Shrivastava, P. D. Ezhilchelvan, N. A. Speirs, S. Tao, and A. Tully. Principal features of the VOLTAN family of reliable node architectures for distributed systems. IEEE Transactions on Computers, 41(5):542-549j 1992.
28. J. G. Steiner, C. Neuman, and J. I. Schiller. Kerberos: An authentication service for open network systems. In Proceedings of the USENIX Winter Conference, pages 191-202, 1988.
29. R. Turn and J. Habibi. On the interactions of security and fault-tolerance. In Proceedings of the 9th NBS/NCSC National Computer Security Conference, pages 138-142, 1986.
30. R. van Renesse, K. Birman, R. Cooper, B. Glade, and P. Stephenson. Reliable multicast between microkernels. In Proceedings of the USENIX Microkernels and Other Kernel Architectures Workshop, 1992.
31. V. L. Voydock and S. T. Kent. Security mechanisms in high-level network protocols. ACM Computing Surveys, 15(2):135-171, 1983.