Formalisation of Bayesian concealment

DOI10.1007/S13160-021-00458-YMaRDI QIDQ2044153zbMATH OpenOpenAlexFDO

Authors Izumi Takeuti

Publication date 4 August 2021

Published in Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s13160-021-00458-y

zbMATH Keywords

formal proofsecret sharingBayesian theoryprobabilistic concealment

Mathematics Subject Classification ID

Cryptography (94A60) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Formalisation of probabilistic concealment
• scientific article; zbMATH DE number 697830
• Providing anonymity in unconditionally secure secret sharing schemes
• scientific article; zbMATH DE number 3965967
• Logic of secrets in collaboration networks

Cites work

• Formal adventures in convex and conical spaces
• Formalisation of probabilistic concealment
• Foundations of Cryptography – A Primer
• Foundations of homomorphic secret sharing
• How to share a secret
• Probability logic for type spaces
• Reconciling two views of cryptography (The computational soundness of formal encryption)

Cited in

(1)

• Formalisation of probabilistic concealment

This page was built for publication: Formalisation of Bayesian concealment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2044153)