Formalisation of Bayesian concealment

DOI10.1007/S13160-021-00458-YzbMATH Open1469.94117OpenAlexW3130919300MaRDI QIDQ2044153FDOQ2044153

Authors: Izumi Takeuti 

Publication date: 4 August 2021

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

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

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

zbMATH Keywords

formal proofsecret sharingBayesian theoryprobabilistic concealment

Mathematics Subject Classification ID

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

Cites Work

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

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)