Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts

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