A Security API for Distributed Social Networks

Proceedings of the Symposium on Network and Distributed System Security, NDSS 2011

Volumn , Issue , 2011, Pages

  Backes, Michael ^a   Maffei, Matteo ^a   Pecina, Kim ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; NETWORK SECURITY; SOCIAL NETWORKING (ONLINE);

CRYPTOGRAPHIC PROTOCOLS; CRYPTOGRAPHICS; PLUG-INS; SECURITY API; SHARING RESOURCES; SOCIAL RELATIONS; SOCIAL-NETWORKING; USER ANONYMITY; USER IDENTITY; ZERO-KNOWLEDGE PROOFS OF KNOWLEDGE;

ACCESS CONTROL;

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

References (54)

1. C. Abadi. Iran, facebook, and the limits of online activism. Foreign Policy, 2010. http://www.foreignpolicy.com/articles/2010/ 02/12/irans_failed_facebook_revolution.
2. M. Abadi, B. Blanchet, and C. Fournet. Automated verification of selected equivalences for security protocols. In Proc. 20th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 331–340. IEEE Computer Society Press, 2005.
3. M. Abadi and C. Fournet. Mobile values, new names, and secure communication. In Proc. 28th Symposium on Principles of Programming Languages (POPL), pages 104–115. ACM Press, 2001.
4. M. Backes, S. Lorenz, M. Maffei, and K. Pecina. Anonymous webs of trust. In Proc. 10th Privacy Enhancing Technology Symposium (PETS), pages 130–148. Lecture Notes in Computer Science, 2010.
5. M. Backes, M. Maffei, and K. Pecina. Source code and proverif models for trace properties and observational equivalences. http://lbs.cs.uni-saarland.de/sapi/.
6. M. Backes, M. Maffei, and D. Unruh. Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol. In Proc. 29th IEEE Symposium on Security & Privacy, pages 202–215. IEEE Computer Society Press, 2008.
7. M. Backes and D. Unruh. Computational soundness of symbolic zero-knowledge proofs against active attackers. In Proc. 21th IEEE Symposium on Computer Security Foundations (CSF), pages 255–269. IEEE Computer Society Press, 2008.
8. R. Baden, A. Bender, N. Spring, B. Bhattacharjee, and D. Starin. Persona: An online social network with user-defined privacy. In Proc. 2009 ACM SIGCOMM conference on Data communication, pages 135–146. ACM Press, 2009.
9. J. C. Baumgartner and J. S. Morris. Myfacetube politics: Social networking web sites and political engagement of young adults. Social Science Computer Review, 28:24–44, February 2010.
10. M. Belenkiy, J. Camenisch, M. Chase, M. Kohlweiss, A. Lysyanskaya, and H. Shacham. Randomizable proofs and delegatable anonymous credentials. In Advances in Cryptology - CRYPTO 2009, volume 5677 of Lecture Notes in Computer Science, pages 108–125. Springer-Verlag, 2009.
11. M. Bellare, H. Shi, and C. Zhang. Foundations of group signatures: The case of dynamic groups. In Topics in Cryptology - CT-RSA 2005, volume 3376 of Lecture Notes in Computer Science. Springer-Verlag, 2005.
12. B. Blanchet. An efficient cryptographic protocol verifier based on Prolog rules. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW), pages 82–96. IEEE Press, 2001.
13. F. Boudot. Efficient proofs that a committed number lies in an interval. In Advances in Cryptology - EUROCRYPT 2000, volume 1807 of Lecture Notes in Computer Science, pages 431–444. Springer-Verlag, 2000.
14. J. Camenisch and A. Lysyanskaya. A signature scheme with efficient protocols. In Proc. 3rd International Conference on Security in Communication Networks (SCN), volume 2576 of Lecture Notes in Computer Science, pages 268–289. Springer-Verlag, 2002.
15. J. Camenisch and M. Michels. Proving in zero-knowledge that a number is the product of two safe primes. In Advances in Cryptology - EUROCRYPT 1998, volume 1592 of Lecture Notes in Computer Science, pages 107–122. Springer-Verlag, 1998.
16. J. Camenisch and M. Stadler. Efficient group signature schemes for large groups. In Advances in Cryptology - CRYPTO 1997, volume 1294 of Lecture Notes in Computer Science, pages 410–424. Springer-Verlag, 1997.
17. B. Carminati and E. Ferrari. Privacy-aware access control in social networks: Issues and solutions. In Privacy and Anonymity in Information Management Systems, Advanced Information and Knowledge Processing, pages 181–195. Springer-Verlag, 2010.
18. D. Chaum. Untraceable electronic mail, return addresses, and digital pseudonyms. Communications of the ACM, 24(2):84–88, 1988.
19. D. Chaum and E. van Heyst. Group signatures. In Advances in Cryptology - EUROCRYPT 1991, volume 547 of Lecture Notes in Computer Science, pages 257–265. Springer-Verlag, 1991.
20. J.-S. Coron, Y. Dodis, C. Malinaud, and P. Puniya. Merkledamgård revisited: How to construct a hash function. In Advances in Cryptology - CRYPTO 2005, volume 3621 of Lecture Notes in Computer Science, pages 430–448. Springer-Verlag, 2005.
21. R. Cramer, I. Damgård, and B. Schoenmakers. Proofs of partial knowledge and simplified design of witness hiding protocols. In Advances in Cryptology - CRYPTO 1994, volume 839 of Lecture Notes in Computer Science, pages 174–187. Springer-Verlag, 1994.
22. L. A. Cutillo, R. Molva, and T. Strufe. Safebook: Secure social network. http://www.safebook.us/.
23. L. A. Cutillo, R. Molva, and T. Strufe. Privacy preserving social networking through decentralization. In Proc. 6th International Conference on Wireless On-Demand Network Systems and Services, WONS’09, pages 133–140. IEEE Computer Society Press, 2009.
24. W. Dai. Crypto++. http://www.cryptopp.com/benchmarks.html.
25. I. Damgård and E. Fujisaki. An integer commitment scheme based on groups with hidden order. In Proc. 8th International Conference on the Theory and Application of Cryptology and Information Security: ASIACRYPT 2002, volume 2501 of Lecture Notes in Computer Science, pages 125–142. Springer-Verlag, 2001.
26. R. Dingledine, N. Mathewson, and P. F. Syverson. Tor: The second-generation onion router. In Proc. 13th USENIX Security Symposium, pages 303–320. USENIX Association, 2004.
27. F. Fassihi. Iranian crackdown goes global. The Wall Street Journal, 2009. http://online.wsj.com/article/SB125978649644673331.html.
28. A. Fiat and M. Naor. Broadcast encryption. In Advances in Cryptology - CRYPTO 1993, pages 480–491. Springer-Verlag, 1994.
29. A. Fiat and A. Shamir. How to prove yourself: Practical solutions to identification and signature problems. In Advances in Cryptology - CRYPTO 1987, volume 263 of Lecture Notes in Computer Science, pages 186–194. Springer-Verlag, 1987.
30. E. Fujisaki and T. Okamoto. Statistical zero knowledge protocols to prove modular polynomial relations. In Advances in Cryptology - CRYPTO 1997, volume 1294 of Lecture Notes in Computer Science, pages 16–30. Springer-Verlag, 1997.
31. O. Goldreich, S. Micali, and A. Wigderson. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Journal of the ACM, 38(3):690–728, 1991.
32. D. M. Goldschlag, M. G. Reed, and P. F. Syverson. Onion routing for anonymous and private internet connections. Communications of the ACM, 42(2):39–41, 1999.
33. S. Goldwasser, S. Micali, and C. Rackoff. The knowledge complexity of interactive proof systems. SIAM Journal on Computing, 18(1):186–208, 1989.
34. D. Grippi, M. Salzberg, R. Sofaer, and I. Zhitromirskiy. DIASPORA*. http://www.joindiaspora.com.
35. https://secure.wikimedia.org/wikipedia/en/wiki/Key_signing_party.
36. L. Lu, J. Han, Y. Liu, L. Hu, J.-P. Huai, L. Ni, and J. Ma. Pseudo trust: Zero-knowledge authentication in anonymous p2ps. IEEE Transactions on Parallel Distributed Systems, 19(10):1325–1337, 2008.
37. G. Mezzour, A. Perrig, V. Gligor, and P. Papadimitratos. Privacy-preserving relationship path discovery in social networks. In Proc. 8th International Conference on Cryptology and Network Security, pages 189–208. Springer-Verlag, 2009.
38. E. Morozov. Foreign policy: Iran’s terrifying Facebook police. National Public Radio, 2009. http://www.npr.org/templates/story/story.php?storyId=106535773.
39. A. Narayanan and V. Shmatikov. De-anonymizing social networks. In Proc. 30th IEEE Symposium on Security & Privacy, pages 173 – 187. IEEE Computer Society Press, 2009.
40. T. N. I. of Standards and Technology. Recommendataion for key management – part 1: General. NIST Special Publications, 800–57, 2007. http://csrc.nist.gov/groups/ST/toolkit/key_management.html.
41. http://www.pgp.com/.
42. V. Ponce, J. Wu, and X. Li. Improve peer cooperation using social networks. International Journal on Parallel, Emergent and Distributed Systems, 24(3):189–204, 2009.
43. R. L. Rivest, A. Shamir, and Y. Tauman. How to leak a secret. In Proc. 7th International Conference on the Theory and Application of Cryptology and Information Security: ASIACRYPT 2001, volume 2248 of Lecture Notes in Computer Science, pages 552–565. Springer-Verlag, 2001.
44. V. Shoup. NTL: A library for doing number theory. http://www.shoup.net/ntl.
45. J. Sun, X. Zhu, and Y. Fang. A privacy-preserving scheme for online social networks with efficient revocation. In Proc. 29th conference on Information communications, pages 2516–2524. IEEE Computer Society Press, 2010.
46. G. Swamynathan, C. Wilson, B. Boe, K. Almeroth, and B. Y. Zhao. Do social networks improve e-commerce?: a study on social marketplaces. In WOSP’08: Proceedings of the first workshop on Online social networks, pages 1–6. ACM, 2008.
47. T. A. Team. Appleseed Project. http://opensource.appleseedproject.org.
48. T. G. Team. The GNU multiple precision arithmetic library. http://gmplib.org.
49. http://www.facebook.com/.
50. A. Thurston. DSNP: The distributed social network protocol. http://www.complang.org/dsnp.
51. A. Tootoonchian, S. Sarouis, Y. Ganjali, and A. Wolman. Lockr: Better privacy for social networks. In Proc. 5th International Conference on emerging Network Experiments and Technologies (CoNEXT), pages 169 – 180. ACM Press, 2009.
52. http://www.verisign.com/.
53. H. Wang and H. Yu. A novel signer-admission ring signature scheme from bilinear pairings. In Proc. 1st International Workshop on Education Technology and Computer Science, pages 631–634. IEEE Computer Society Press, 2009.
54. D. Wolman. Cairo activists use Facebook to rattle regime. WIRED Magazine, 2008. http://www.wired.com/techbiz/startups/ magazine/16-11/ff_facebookegypt.