Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts
By configuring an adequate set of messages obtained by an adversary and analyzing the information which can be obtained by an adversary, it is possible to verify the secrecy of cryptography protocols. We have already proposed a deduction system for analyzing whether an adversary can obtain relation...
| Published in: | Philippine computing journal 7, 2 (2012(D)). |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | English |
| Subjects: |