2011 Fiscal Year Final Research Report
Computational Logical Verification Method for Cryptographic Protocols
| Project/Area Number |
21700023
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
HASEBE Koji 筑波大学, システム情報系, 助教 (80470045)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | 仕様記述 / 仕様検証 |
|---|
| Research Abstract |
We developed an extended inference system based on Based Protocol Logic (BPL), a variant of first order logic for proving correctness of cryptographic protocols. This extended system was obtained from BPL by adding some computational aspects of cryptography and sound with respect to a computational semantics. We also demonstrated the usefulness of this system by proving secrecy property of some protocols, such as Needham-Schroeder protocol.
|
Research Products
(5 results)
