00000cab a22000003a 4500 UP-99796217611646210 Buklod 20231008001536.0 m |o d | ta 150618s xx d | ||r ||||| || DENGII eng Hagihara, Shigeki Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts Shigeki Hagihara, Hiroaki Oguro,and Naoki Yonezaki. December 2013 p. 23-32 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 relational information between contents or keys of two ciphertexts are different... Epistemic logic. Kripke semantics. Relational information between Ciphertexts. Security protocol analysis. Hagihara, Shigeki. Oguro, Hiroaki. Yonezaki, Naoki. Philippine computing journal 7, 2 (2012(D)). FI UPD DENG-II Article