Formalizing and verifying anonymity of Crowds-based communication protocols with IOA
Formalizing and verifying anonymity of Crowds-based communication protocols with IOA
复制标题
使用 IOA 形式化并验证基于 Crowds 的通信协议的匿名性
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Y. Kawabe
中科院分区：
文献类型：
--
作者：
Tetsuo Kamina;Tomoyuki Aotani;and Hidehiko Masuhara;Hideo Bannai;佐藤功人,小松一彦,滝沢寛之,小林広明;Masaki Yamamoto;Y. Kawabe
