TY - JOUR
ID - 66478
TI - Distributed Contingency Logic and Security
JO - The ISC International Journal of Information Security
JA - ISECURE
LA - en
SN - 2008-2045
AU - Ramezanian, R.
AD - Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran
Y1 - 2018
PY - 2018
VL - 10
IS - 2
SP - 107
EP - 115
KW - Contingency Logic
KW - Distributed Contingency
KW - Secret Sharing
KW - MITM Attack
DO - 10.22042/isecure.2018.114354.406
N2 - In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingent in a group of agent if and only if it does not follow from the knowledge of all individual agents put together. We formalize secret sharing scheme (a security property that is built upon ignorance of all agents), and a man in the middle attack to a weak protocol in our logic. We also illustrate a condition where disclose a secret may hide another one forever. Finally we prove the main theorems of every logic, soundness and completeness. We also prove that distributed contingency logic is more expressive than classical contingency logic and epistemic logic.
UR - http://www.isecure-journal.com/article_66478.html
L1 - http://www.isecure-journal.com/article_66478_6edb84a767003313d5f54e7573f951f9.pdf
ER -