Formalisation of probabilistic concealment

DOI10.1007/S13160-019-00350-WMaRDI QIDQ2318502zbMATH OpenOpenAlexWikidataFDO

Authors Izumi Takeuti, Tomoko Adachi

Publication date 15 August 2019

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-019-00350-w

zbMATH Keywords

formal proofsecret sharingprobabilistic logicprobabilistic concealment

Mathematics Subject Classification ID

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

Recommendations

• Formalisation of Bayesian concealment
• scientific article; zbMATH DE number 697830
• A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
• Providing anonymity in unconditionally secure secret sharing schemes
• Trustworthy Global Computing

Cites work

• A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs
• An explication of secret sharing schemes
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Foundations of Cryptography
• How to share a secret
• Probability logic for type spaces

Cited in

(2)

• Formalisation of Bayesian concealment
• A Paradigm for Masking (Camouflaging) Information

This page was built for publication: Formalisation of probabilistic concealment

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