Project/Area Number |
23650004
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
Fundamental theory of informatics
|
Research Institution | Saitama University |
Principal Investigator |
|
Project Period (FY) |
2011 – 2013
|
Project Status |
Completed (Fiscal Year 2013)
|
Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
Keywords | 量子計算 / 量子暗号 / 代理計算 / 暗号プロトコル / 暗号理論 / 観測ベース量子計算 / セキュア計算 / ブラインド計算 |
Research Abstract |
Quantum blind computation can be discussed in the measurement-based quantum computation model. As a special case, ancilla-driven quantum computation is defined as computation where measurements are made only on the measurement system and computation is carried on the computational system and those two system are separated. In the ancilla-driven computation model, we derive sufficient conditions for the blindness and show a bind protocol. In cryptography, the universal composability guarantees that a prococol can be used as a part of larger cryptosystems. We show that Fujii-Morimae blind computation, where only the client makes measurements, is universally composable.
|