On consistency of encrypted files

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

Volumn 4167 LNCS, Issue , 2006, Pages 254-268

  Oprea, Alina ^a   Reiter, Michael K ^b  

^a Carnegie Mellon University   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CRYPTOGRAPHY; NETWORK PROTOCOLS; SERVERS;

BYZANTINE BEHAVIOR; CRYPTOGRAPHIC FILE SYSTEMS; FILE STORAGE PROTOCOLS;

COMPUTER SCIENCE;

EID: 33845196698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11864219_18     Document Type: Conference Paper

References (30)

1. M. Abd-El-Malek, G. R. Ganger, G. R. Goodson, M. K. Reiter, and J. J. Wylie, "Fault-scalable byzantine fault-tolerant services," in Proc. 20th ACM Symposium on Operating Systems (SOSP), pp. 59-74, ACM, 2005.
2. A. Adya, W. J. Bolosky, M. Castro, G. Cermak, R. Chaiken, J. R. Douceur, J. Howell, J. R. Lorch, M. Theimer, and R. P. Wattenhofer, "FARSITE: Federated, available, and reliable storage for an incompletely trusted environment," in Proc. 5th Symposium on Operating System Design and Implementation (OSDI), Usenix, 2002.
3. M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger, "The power of processor consistency," Technical Report GIT-CC-92/34, Georgia Institute of Technology, 1992.
4. M. Ahamad, G. Neiger, J. Burns, P. Kohli, and P. Hutto, "Causal memory: Definitions, implementation and programming," Distributed Computing, vol. 1, no. 9, pp. 37-49, 1995.
5. M. Backes, C. Cachin, and A. Oprea, "Secure key-updating for lazy revocation," in Proc. 11th European Symposium On Research In Computer Security (ESORICS), Springer-Verlag, 2006.
6. P. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
7. B. Bershad, M. Zekauskas, and W. Sawdon, "The Midway distributed shared-memory system," in Proc. IEEE COMPCON Conference, pp. 528-537, IEEE, 1993.
8. C. Cachin and J. A. Poritz, "Secure intrusion-tolerant replication on the internet," in Proc. International Conference on Dependable Systems and Networks (DSN), pp. 167-176, IEEE, 2002.
9. M. Castro and B. Liskov, "Practical Byzantine fault tolerance," in Proc. 3rd Symposium on Operating System Design and Implementation (OSDI), pp. 173-186, Usenix, 1999.
10. M. Dubois, C. Scheurich, and F. Briggs, "Synchronization, coherence and event ordering in multiprocessors," IEEE Computer, vol. 21, no. 2, pp. 9-21, 1988.
11. R. Friedman, R. Vitenberg, and G. Chockler, "On the composability of consistency conditions," Information Processing Letters, vol. 86, pp. 169-176, 2002.
12. K. Fu, "Group sharing and random access in cryptographic storage file systems," Master's thesis, Massachusetts Institute of Technology, 1999.
13. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J.Hennessy, "Memory consistency and event ordering in scalable shared-memory multiprocessors," in P roc. 17th Annual International Symposium on Computer Architecture, pp. 15-26, 1990.
14. E. Goh, H. Shacham, N. Modadugu, and D. Boneh, "SiRiUS: Securing remote untrusted storage," in Proc. Network and Distributed Systems Security (NDSS) Symposium 2003, pp. 131-145, ISOC, 2003.
15. J. Goodman, "Cache consistency and sequential consistency," Technical Report 61, SCI Committee, 1989.
16. M. Herlihy and J. Wing, "Linearizability: A corretness condition for concurrent objects," ACM Transactions on Programming Languages and Systems, vol. 12, no. 3, pp. 463-492, 1990.
17. M. Kallahalla, E. Riedel, R. Swaminathan, Q. Wang, and K. Fu, "Plutus: Scalable secure file sharing on untrusted storage," in Proc. 2nd USENIX Conference on File and Storage Technologies (FAST), 2003.
18. S. Lakshmanan, M. Ahamad, and H. Venkateswaran:, "A secure and highly available distributed store for meeting diverse data storage needs," in Proc. International Conference on Dependable Systems and Networks (DSN), pp. 251-260, IEEE, 2001.
19. L. Lamport, "How to make a multiprocessor computer that correctly executes multiprocess programs," IEEE Transactions on Computers, vol. 28, no. 9, pp. 690-691, 1979.
20. D. Lenoski, J. Laudon, K. Gharachorloo, W. D. Weber, A. Gupta, J. Hennessy, M. Horowitz, and M. S. Lam, "The Stanford Dash multiprocessor," IEEE Computer, vol. 25, no. 3, pp. 63-79, 1992.
21. J. Li, M. Krohn, D. Mazieres, and D. Shasha, "Secure untrusted data repository," in Proc. 6th Symposium on Operating System Design and Implementation (OSDI), pp. 121-136, Usenix, 2004.
22. R. Lipton and J. Sandberg, "Pram: A scalable shared memory," Technical Report CS-TR-180-88, Princeton University, Department of Computer Science, 1988.
23. D. Mazieres, M. Kaminsky, M. Kaashoek, and E. Witchel, "Separating key management from file system security," in Proc. 17th ACM Symposium on Operating Systems (SOSP), pp. 124-139, ACM, 1999.
24. D. Mazieres and D. Shasha, "Building secure file systems out of Byzantine storage," in Proc. 21st ACM Symposium on Principles of Distributed Computing (PODC), pp. 108-117, ACM, 2002.
25. E. Miller, D. Long, W. Freeman, and B. Reed, "Strong security for distributed file systems," in Proc. First USENIX Conference on File and Storage Technologies (FAST), pp. 1-13, 2002.
26. A. Oprea and M. K. Reiter, "On consistency of encrypted files," Technical Report CMU-CS-06-113, Carnegie Mellon University, 2006. Available from http://reports-archive.adm.cs.cmu.edu/anon/2006/CMU-CS-06-113.pdf.
27. E. Riedel, M. Kallahalla, and R. Swaminathan, "A framework for evaluating storage system security," in Proc. First USENIX Conference on File and Storage Technologies (FAST), pp. 15-30, 2002.
28. F. J. Torres-Rojas, M. Ahamad, and M. Raynal, "Timed consistency for shared distributed objects," in Proc. 18th ACM Symposium on Principles of Distributed Computing (PODC), pp. 163-172, ACM, 1999.
29. R. Vitenberg and R. Friedman, "On the locality of consistency conditions," in Proc. 17th International Symposium on Distributed Computing (DISC)), pp. 92-105, 2003.
30. H. Yu and A. Vahdat, "Design and evaluation of a conit-based continuous consistency model for replicated services," ACM Transactions on Computer Systems, vol. 20, no. 3, pp. 239-282, 2002.