Theory of Computing Systems

, Volume 48, Issue 1, pp 211–245 | Cite as

Privacy in Non-private Environments

  • Markus Bläser
  • Andreas Jakoby
  • Maciej Liśkiewicz
  • Bodo Manthey
Article
  • 55 Downloads

Abstract

We study private computations in information-theoretical settings on networks that are not 2-connected. Non-2-connected networks are “non-private” in the sense that most functions cannot privately be computed on them. We relax the notion of privacy by introducing lossy private protocols, which generalize private protocols. We measure the information each player gains during the computation. Good protocols should minimize the amount of information they lose to the players. Throughout this work, privacy always means 1-privacy, i.e. players are not allowed to share their knowledge. Furthermore, the players are honest but curious, thus they never deviate from the given protocol.

The randomness used by the protocol yields distributions on communication strings for each player and for each input. We define the loss of a protocol to a player as the logarithm of the number of different probability distributions the player can observe. This is justified since we prove that in optimal protocols, the distributions have pairwise disjoint support. Thus, the players can easily distinguish them, and the logarithm of their number is the number of bits the player learns.

The simplest non-2-connected networks consists of two blocks that share one bridge node. We prove that on such networks, communication complexity and the loss of a private protocol are closely related: Up to constant factors, they are the same.

Then we study one-phase protocols, an analogue of one-round communication protocols. In such a protocol each bridge node may communicate with each block only once. We investigate in which order a bridge node should communicate with the blocks to minimize the loss of information. In particular, for symmetric functions it is optimal to sort the components by increasing size. Then we design a one-phase protocol that for symmetric functions simultaneously minimizes the loss at all nodes where the minimum is taken over all one-phase protocols.

Finally, we prove a phase hierarchy. For any k there is a function such that every (k−1)-phase protocol for this function has an information loss that is exponentially greater than that of the best k-phase protocol.

Keywords

Private computation Secure multi-party computation Secure function evaluation Communication complexity Graph connectivity Randomness 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arpe, J., Jakoby, A., Liśkiewicz, M.: One-way communication complexity of symmetric boolean functions. RAIRO Theor. Inf. Appl. 39(4), 687–706 (2005) CrossRefGoogle Scholar
  2. 2.
    Bar-Yehuda, R., Chor, B., Kushilevitz, E., Orlitsky, A.: Privacy, additional information, and communication. IEEE Trans. Inf. Theory 39(6), 1930–1943 (1993) CrossRefMathSciNetGoogle Scholar
  3. 3.
    Beimel, A.: On private computation in incomplete networks. Distrib. Comput. 19(3), 237–252 (2007) CrossRefMathSciNetGoogle Scholar
  4. 4.
    Ben-Or, M., Goldwasser, S., Wigderson, A.: Completeness theorems for non-cryptographic fault-tolerant distributed computation. In: Proc. of the 20th Ann. ACM Symp. on Theory of Computing (STOC), pp. 1–10. ACM, New York (1988) Google Scholar
  5. 5.
    Berge, C.: Graphs. North-Holland, Amsterdam (1991) Google Scholar
  6. 6.
    Bläser, M., Jakoby, A., Liśkiewicz, M., Manthey, B.: Private computation: k-connected versus 1-connected graphs. J. Cryptol. 19(3), 341–357 (2006) MATHCrossRefGoogle Scholar
  7. 7.
    Chaum, D., Crépeau, C., Damgård, I.: Multiparty unconditionally secure protocols. In: Proc. of the 20th Ann. ACM Symp. on Theory of Computing (STOC), pp. 11–19. ACM, New York (1988) Google Scholar
  8. 8.
    Chor, B., Kushilevitz, E.: A zero-one law for boolean privacy. SIAM J. Discrete Math. 4(1), 36–47 (1991) MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Chor, B., Geréb-Graus, M., Kushilevitz, E.: Private computations over the integers. SIAM J. Comput. 24(2), 376–386 (1995) MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Franklin, M., Yung, M.: Secure hypergraphs: Privacy from partial broadcast. SIAM J. Discrete Math. 18(3), 437–450 (2004) MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Kushilevitz, E.: Privacy and communication complexity. SIAM J. Discrete Math. 5(2), 273–284 (1992) MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997) MATHGoogle Scholar
  13. 13.
    Kushilevitz, E., Ostrovsky, R., Rosén, A.: Characterizing linear size circuits in terms of privacy. J. Comput. Syst. Sci. 58(1), 129–136 (1999) MATHCrossRefGoogle Scholar
  14. 14.
    Modiano, E.H., Ephremides, A.: Communication complexity of secure distributed computation in the presence of noise. IEEE Trans. Inf. Theory 38(4), 1193–1202 (1992) MATHCrossRefGoogle Scholar
  15. 15.
    Modiano, E.H., Ephremides, A.: Communication protocols for secure distributed computation of binary functions. Inf. Comput. 158(2), 71–97 (2000) MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Nisan, N., Wigderson, A.: Rounds in communication complexity revisited. SIAM J. Comput. 22(1), 211–219 (1993) MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Orlitsky, A., Gamal, A.E.: Communication with secrecy constraints. In: Proc. of the 16th Ann. ACM Symp. on Theory of Computing (STOC), pp. 217–224. ACM, New York (1984) Google Scholar
  18. 18.
    Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(3), 379–423 (1948) MATHMathSciNetGoogle Scholar
  19. 19.
    Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(4), 623–656 (1948) MathSciNetGoogle Scholar
  20. 20.
    Wegener, I.: The Complexity of Boolean Functions. Wiley/Teubner, New York/Leipzig (1987) MATHGoogle Scholar
  21. 21.
    Yao, A.C.-C.: Protocols for secure computations. In: Proc. of the 23rd Ann. IEEE Symp. on Foundations of Computer Science (FOCS), pp. 160–164. IEEE Comput. Soc., Los Alamitos (1982) Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Markus Bläser
    • 1
  • Andreas Jakoby
    • 2
  • Maciej Liśkiewicz
    • 2
  • Bodo Manthey
    • 3
  1. 1.Department of Computer ScienceSaarland UniversitySaarbrückenGermany
  2. 2.Institute of Theoretical Computer ScienceUniversity of LübeckLübeckGermany
  3. 3.Department of Applied MathematicsUniversity of TwenteEnschedeThe Netherlands

Personalised recommendations