Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts

Библиографические подробности
Опубликовано в::	Philippine computing journal 7, 2 (2012(D)).
Главный автор:	Hagihara, Shigeki
Другие авторы:	Oguro, Hiroaki, Yonezaki, Naoki
Формат:	Статья
Язык:	английский
Предметы:	Epistemic logic. Kripke semantics. Relational information between Ciphertexts. Security protocol analysis.