A cryptosystem based on propositional logic

  • Jarkko Kari
Chapter 5 Cryptography
Part of the Lecture Notes in Computer Science book series (LNCS, volume 381)


A new public key cryptosystem based on propositional calculus is presented. The system is proved optimal in the sense that any cryptanalytic method against it can be used to break other cryptosystems as well. Such a cryptanalytic method could also be used to solve in polynomial time the membership problem of any language in NPnCoNP. Only worst case complexities are considered.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    W. Diffie and M. Hellman, New directions in cryptography, IEEE Transactions on Information Theory IT-22 (1976), 644–654.Google Scholar
  2. [2]
    S. Goldwasser and S. Micali, Probabilistic encryption & how to play mental poker keeping secret all partial information, in: Proceedings of the 14th ACM Symposium on the Theory of Computing (1982), 365–377.Google Scholar
  3. [3]
    A. Salomaa, Computation and Automata (Cambridge University Press, 1985).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Jarkko Kari
    • 1
  1. 1.Mathematics DepartmentUniversity of TurkuTurkuFinland

Personalised recommendations