| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Outline of Final Research Achievements |
This research aimed at establishing a verification method showing the safety of cryptographic protocols by analyzing the formation process of knowledge among participants in the execution of protocols using epistemic logic.
In this research, formalization with the Propositional Dynamic Epistemic Logic and formalization with First-Order Predicate Epistemic Logic excluding dynamic modal operators were conducted. As a result, problems concerning the expressiveness of the logical system and the complexity of the system were clarified. However, the results suggested the possibility of application to verification methods of some protocols in distributed systems. Moreover, by putting some assumptions about the execution of the protocol, it seems that we could obtain a system useful as a verification method.
|
