| Budget Amount *help |
¥3,380,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥480,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥1,300,000 (Direct Cost: ¥1,300,000)
|
|---|
| 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.
|
