TY - BOOK TI - Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts PB - Philippine Computing Journal KW - Information Technology N1 - December ER -