Kripke semantics for epistemic logic relational information between ciphertexts. [article]. - Hagihara, Shigeki
Keywords: Computer-Periodicals.; Epistemic logic; Kripke semantics; Relational information between ciphertexts; Security protocl analysis