2009 Fiscal Year Final Research Report
On Verifying Anonymity of Security Protocols with Formal Methods
| Project/Area Number |
19700018
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Aichi Institute of Technology (2008-2009)
NTT Communication Science Laboratories (2007) |
|---|
Principal Investigator |
KAWABE Yoshinobu Aichi Institute of Technology, 情報科学部, 准教授 (80396184)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Keywords | 暗号系 / セキュリティ検証 |
|---|
| Research Abstract |
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.
|
