Abstract
We propose a “cryptographic” interpretation for the propositional connectives of primal infon logic introduced by Y. Gurevich and I. Neeman and prove the corresponding soundness and completeness results. Primal implication φ → p ψ corresponds to the encryption of ψ with a secret key φ, primal disjunction φ ∨ p ψ is a group key and \(\bot\) reflects some backdoor constructions such as full superuser permissions or a universal decryption key. For the logic of \(\bot\) as a universal key (it was never considered before) we prove that the derivability problem has linear time complexity. We also show that the universal key can be emulated using primal disjunction.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: Proc. of CSF 2008, pp. 149–162. IEEE Computer Society (2008)
Gurevich, Y., Neeman, I.: DKAL 2 — A Simplified and Improved Authorization Language. Technical Report MSR-TR-2009-11, Microsoft Research (February 2009)
Gurevich, Y., Neeman, I.: Logic of infons: the propositional case. ACM Transactions on Computational Logic 12(2) (2011)
Beklemishev, L., Gurevich, Y.: Propositional primal logic with disjunction. J. of Logic and Computation 22, 26 pages (2012)
Cotrini, C., Gurevich, Y.: Basic primal infon logic. Microsoft Research Technical Report MSR-TR-2012-88, Microsoft Research (August 2012)
Troelstra, A., Schwichtenberg, H.: Basic proof theory. Cambridge Tracts in Theoretical Computer Science, vol. 43. Cambridge University Press, Cambridge (1996)
Goldreich, O.: Foundations of Cryptography: Volume 1, Basic Tools. Cambridge University Press, Cambridge (2001)
Blum, M.: Coin Flipping by Telephone. In: Proceedings of CRYPTO, pp. 11–15 (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Krupski, V.N. (2014). Primal Implication as Encryption. In: Hirsch, E.A., Kuznetsov, S.O., Pin, JÉ., Vereshchagin, N.K. (eds) Computer Science - Theory and Applications. CSR 2014. Lecture Notes in Computer Science, vol 8476. Springer, Cham. https://doi.org/10.1007/978-3-319-06686-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-06686-8_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06685-1
Online ISBN: 978-3-319-06686-8
eBook Packages: Computer ScienceComputer Science (R0)