SPORC: Group collaboration using untrusted cloud resources

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010

Volumn , Issue , 2019, Pages 337-350

  Feldman, Ariel J ^a   Zeller, William P ^a   Freedman, Michael J ^a   Felten, Edward W ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; LOCKS (FASTENERS); SYSTEMS ANALYSIS; WORD PROCESSING;

COLLABORATIVE APPLICATION; CONCURRENT OPERATIONS; CONFLICT RESOLUTION MECHANISMS; DESKTOP APPLICATIONS; DISCONNECTED OPERATIONS; DYNAMIC ACCESS CONTROL; GROUP COLLABORATION; OPERATIONAL TRANSFORMATION;

CONCURRENCY CONTROL;

EID: 84991960975     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (48)

1. M. Abd-El-Malek, G. Ganger, G. Goodson, M. Reiter, and J. Wylie. Fault-scalable byzantine fault-tolerant services. In Proc. SOSP, Oct. 2005.
2. B. Adida. Helios: Web-based open-audit voting. In Proc. USENIX Security, Aug. 2008.
3. Y. Amir, C. Nita-rotaru, J. Stanton, and G. Tsudik. Secure spread: An integrated architecture for secure group communication. IEEE Trans. Dependable and Secure Computing, 2:248-261, 2005.
4. P. Bernstein, N. Goodman, and V. Hadzilacos. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
5. K. Birman, A. Schiper, and P. Stephenson. Lightweight causal and atomic group multicast. ACM Trans. Comp. Systems, 9(3): 272-314, Aug. 1991.
6. D. Boneh, C. Gentry, and B. Waters. Collusion resistant broadcast encryption with short ciphertexts and private keys. In Advances in Cryptology - CRYPTO, Aug. 2005.
7. C. Cachin, A. Shelat, and A. Shraer. Efficient fork-linearizable access to untrusted shared memory. In Proc. PODC, Aug. 2007.
8. C. Cachin, I. Keidar, and A. Shraer. Fail-aware untrusted storage. In Proc. Dependable Systems and Networks (DSN), June 2009.
9. M. Castro and B. Liskov. Practical Byzantine fault tolerance. In Proc. OSDI, Feb. 1999.
10. B.-G. Chun, P. Maniatis, S. Shenker, and J. Kubiatowicz. Attested append-only memory: Making adversaries stick to their word. In Proc. SOSP, Oct. 2007.
11. C. Ellis and S. Gibbs. Concurrency control in groupware systems. ACM SIGMOD Record, 18(2):399-407, 1989.
12. Google. Google Web Toolkit (GWT). http://code.google.com/webtoolkit/, 2010.
13. Google. EtherPad. http://etherpad.com/, 2010.
14. Google. Google Docs. http://docs.google.com/, 2010.
15. Google. Government requests directed to Google and YouTube. http://www.google.com/governmentrequests/, 2010.
16. Google. Google Wave federation protocol. http://code.google.com/p/wave-protocol/, 2010.
17. M. Handley and J. Crowcroft. Network text editor (NTE): A scalable shared text editor for MBone. In Proc. SIGCOMM, Oct. 1997.
18. A. Karsenty and M. Beaudouin-Lafon. An algorithm for distributed groupware applications. In Proc. ICDCS, May 1993.
19. R. Kotla and M. Dahlin. High-throughput Byzantine fault tolerance. In Proc. Dependable Systems and Networks (DSN), June 2004.
20. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Comm. ACM, 21(7):558-565, 1978.
21. L. Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM Trans. Programming Language Systems, 4(3), 1982.
22. D. Levin, J. R. Douceur, J. R. Lorch, and T. Moscibroda. TrInc: Small trusted hardware for large distributed systems. In Proc. NSDI, Apr. 2009.
23. J. Li and D. Mazières. Beyond one-third faulty replicas in Byzantine fault tolerant systems. In Proc. NSDI, Apr. 2007.
24. J. Li, M. N. Krohn, D. Mazières, and D. Shasha. Secure untrusted data repository (SUNDR). In Proc. OSDI, Dec. 2004.
25. P. Mahajan, S. Setty, S. Lee, A. Clement, L. Alvisi, M. Dahlin, and M. Walfish. Depot: Cloud storage with minimal trust. In Proc. OSDI, Oct. 2010.
26. D. Malkhi and M. Reiter. Byzantine quorum systems. In Proc. STOC, May 1997.
27. D. Mazières and D. Shasha. Building secure file systems out of byzantine storage. In Proc. PODC, July 2002.
28. Mozilla Project. LiveConnect. https://developer.mozilla.org/en/LiveConnect, 2010.
29. Mozilla Project. Network security services for Java (JSS). https://developer.mozilla.org/En/JSS, 2010.
30. D. A. Nichols, P. Curtis, M. Dixon, and J. Lamping. High-latency, low-bandwidth windowing in the Jupiter collaboration system. In Proc. UIST, Nov. 1995.
31. A. Oprea and M. K. Reiter. On consistency of encrypted files. In Proc. Symposium on Distributed Computing (DISC), Sept. 2006.
32. A. Prakash and M. Knister. A framework for undoing actions in collaborative systems. ACM Trans. Computer-Human Interaction, 4(1):295-330, Dec. 1994.
33. M. Ressel, D. Nitsche-Ruhland, and R. Gunzenhäuser. An integrating, transformation-oriented approach to concurrency control and undo in group editors. In Proc. CSCW, Nov. 1996.
34. A. Shraer, C. Cachin, A. Cidon, I. Keidar, Y. Michalevsky, and D. Shaket. Venus: Verification for untrusted cloud storage. In Proc. ACM CCSW, Oct. 2010.
35. A. Singh, P. Fonseca, P. Kuznetsov, R. Rodrigues, and P. Maniatis. Zeno: eventually consistent byzantine-fault tolerance. In Proc. NSDI, Apr. 2009.
36. M. Stonebraker. The case for shared nothing. IEEE Database Engineering Bulletin, 9(1):4-9, 1986.
37. S. Strohschein. GWTEventService. http://code.google.com/p/gwteventservice/, 2010.
38. M. Suleiman, M. Cart, and J. Ferrié. Serialization of concurrent operations in distributed collaborative environment. In Proc. Conf. Supporting Group Work (GROUP), Nov. 1997.
39. C. Sun and C. Ellis. Operational transformation in real-time group editors: issues, algorithms, and achievements. In Proc. CSCW, Nov. 1998.
40. C. Sun, X. Jia, Y. Yang, and Y. Zhang. A generic operation transformation schema for consistency maintenance in realtime cooperative editing systems. In Proc. Conf. Supporting Group Work (GROUP), Nov. 1997.
41. C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen. Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems. ACM Trans. Computer-Human Interaction, 5(1):64-108, 1998.
42. D. Sun, S. Xia, C. Sun, and D. Chen. Operational transformation for collaborative word processing. In Proc. CSCW, Nov. 2004.
43. D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, and C. Hauser. Managing update conflicts in Bayou, a weakly connected replicated storage system. In Proc. SOSP, Dec. 1995.
44. D. Wang and A. Mah. Google wave operational transformation. http://www.waveprotocol.org/whitepapers/ operational-transform, Apr. 2010.
45. B. Wester, J. Cowling, E. B. Nightingale, P. M. Chen, J. Flinn, and B. Liskov. Tolerating latency in replicated state machines through client speculation. In Proc. NSDI, Apr. 2009.
46. D. Wheeler. SLOCCount. http://www.dwheeler.com/sloccount/, 2010.
47. T. D. Wu. The secure remote password protocol. In Proc. NDSS, Mar. 1998.
48. J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin. Separating agreement from execution for Byzantine fault tolerant services. In Proc. SOSP, Oct. 2003.