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
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| 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.
|
Report
(4 results)
Research Products
(16 results)
-
-
-
-
-
[Presentation] 量子力学から量子計算へ2014
Author(s)
角谷良彦, 本多健太郎
Organizer
情報科学技技術フォーラム
Place of Presentation
筑波大学, 茨城県
Year and Date
2014-09-03 – 2014-09-05
Related Report
Invited
-
-
-
-
-
-
-
-
-
-
-
