On Verifying Anonymity of Security Protocols with Formal Methods
On Verifying Anonymity of Security Protocols with Formal Methods
用形式化方法验证安全协议的匿名性
批准号：
19700018
负责人：
KAWABE Yoshinobu
金额：
$2.16万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This study proposed a new method to prove the anonymity of security protocols. We employ a formal method ; specifically, we extended our "anonymous simulation method"to deal with probabilistic protocols and stronger adversaries. In this study, we demonstrated the anonymity verification for Crowds. Also, we proved the receipt-freeness property of an e-voting protocol.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
攻撃者を考慮した匿名性検証法
考虑攻击者的匿名验证方法
考虑攻击者的匿名验证方法
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
[河辺義信, 櫻田英樹]
通讯作者：
櫻田英樹
無証拠的プロトコルのフォーマルな記述について
无证据协议的正式描述
无证据协议的正式描述
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
[Y.Kawabe, H.Sakurada, 河辺義信]
通讯作者：
河辺義信
DOI：
10.1109/cse.2009.251
发表时间：
2009-08
期刊：
2009 International Conference on Computational Science and Engineering
影响因子：
--
作者：
[Yasuyuki Tsukada;K. Mano;Hideki Sakurada;Yoshinobu Kawabe]
通讯作者：
Yasuyuki Tsukada;K. Mano;Hideki Sakurada;Yoshinobu Kawabe
I/O-オートマトンによる無証拠性の形式化について
使用 I/O 自动机形式化无证据
使用 I/O 自动机形式化无证据
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
[河辺義信, 真野健, 櫻田英樹, 塚田恭章]
通讯作者：
塚田恭章
1/0-オートマトンによる無証拠性の形式化について
1/0-关于自动机对无证据的形式化
1/0-关于自动机对无证据的形式化
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
[河辺, 真野, 櫻田, 塚田]
通讯作者：
塚田
共 14 条
On computer-assisted verification of privacy related properties
-
批准号：23700024
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.41万
-
财政年份：2011
-
负责人：KAWABE Yoshinobu
-
依托单位：
海外基金