2014 Fiscal Year Final Research Report
Formal Methods for Verification of Quantum Protocols
| Project/Area Number |
24700006
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 形式手法 / 量子プロトコル / セキュリティ検証 / プロセス計算 |
|---|
| Outline of Final Research Achievements |
Formal methods are studied widely for verification of programs and protocols in the field of the usual computation. We have studied formal methods for quantum computation. Especially, we investigated the quantum process calculi in order to verify the security of quantum protocols. As a result, we formalized a proof of the security of the quantum key-distribution protocol in the quantum process calculus.
|
| Free Research Field |
理論計算機科学
|
