Trust but verify: Accountability for network services

Proceedings of the 11th Workshop on ACM SIGOPS European Workshop, EW 11

Volumn , Issue , 2004, Pages

  Yumerefendi, Aydan R ^a   Chase, Jeffrey S ^a  

^a Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTUAL RELATIONSHIPS; DESIGN GOAL; INTERNAL STATE; NETWORK SERVICES; NETWORKED SYSTEMS; PRACTICAL USE; SECURITY PROPERTIES; TRUST-BUT-VERIFY;

TECHNICAL PRESENTATIONS;

NETWORK SECURITY;

EID: 77951484135     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133572.1133585     Document Type: Conference Paper

References (18)

1. A. Anagnostopoulos, M. T. Goodrich, and R. Tamassia. Persistent Authenticated Dictionaries and Their Applications. In 4th International Conference on Information Security, ISC, October 2001.
2. R. J. Anderson. Why Cryptosystems Fail. Comunications of the Association for Computing Machinery, 37(11), Nov. 1994.
3. A. Buldas, P. Laud, and H. Lipmaa. Accountable Certificate Management Using Undeniable Attestations. In Proceedings of the 7th ACM Conference of Computer and Communications Security, pages 9-17, 2000.
4. Y. Fu, J. Chase, B. Chun, S. Schwab, and A. Vahdat. SHARP: An Architecture for Secure Resource Peering. In Proceedings of the 19th ACM Symposium on Operating System Principles, pages 133-148, October 2003.
5. D. Hitz, J. Lau, and M. Malcolm. File System Design for an NFS File Server Appliance. In Proceedings of the USENIX Annual Technical Conference, pages 235-246, January 1994.
6. M. Kallahalla, E. Riedel, R. Swaminathan, Q.Wang, and K. Fu. Plutus: Scalable Secure File Sharing on Untrusted Storage. In Proceedings of the Second Conference on File and Storage Technologies (FAST 03), March 2003.
7. P. Maniatis. Historic Integrity in Distributed Systems. PhD thesis, Stanford University, August 2003.
8. P. Maniatis and M. Baker. Enabling the Archival Storage of Signed Documents. In Proceedings of the USENIX Conference on File and Storage Technologies (FAST 2002), pages 31-45, January 2002.
9. D. Mazières and D. Shasha. Building Secure File Systems out of Byzantine Storage. In Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, pages 108-117, July 2002.
10. R. C. Merkle. Protocols for Public Key Cryptosystems. In Proceedings of the 1980 Sysmposium on Security and Privacy, pages 122-133, April 1980.
11. Miguel Castro and Barbara Liskov. Practical Byzantine Fault Tolerance. In Proceedings of Symposium on Operating Systems Design and Implementation, February 1999.
12. M. Naor and K. Nissim. Certificate Revocation and Certificate Update. IEEE Journal on Selected Areas in Communications, 18(4):561-570, 2000.
13. L. Pearlman, V. Welch, I. Foster, C. Kesselman, and S. Tuecke. A Community Authorization Service for Group Collaboration. In Proceedings of the IEEE 3rd International Workshop on Policies for Distributed Systems and Networks, June 2002.
14. F. B. Schneider. Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4):299-319, 1990.
15. B. Schneier and J. Kelsey. Secure Audit Logs to Support Computer Forensics. ACM Transactions on Information and System Security (TISSEC), 2(2):159-176, May 1999.
16. S. W. Smith, E. R. Palmer, and S. Weingart. Using a High-Performance, Programmable Secure Coprocessor. In Financial Cryptography, pages 73-89, 1998.
17. J. D. Strunk, G. R. Goodson, M. L. Scheinholtz, C. A. N. Soules, and G. R. Ganger. Self-Securing Storage: Protecting Data in Compromised Systems. In 4th Symposium on Operating System Design and Implementation (OSDI 2000), pages 165-180, October 23-25 2000.
18. B. Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, May 1994.