Name
Title | ||
|---|---|---|
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning |
Abstract | ||
|---|---|---|
Formal analysis is used to find out flaws of cryptographic protocols. A formal analysis method with reasoning for cryptographic protocols has been proposed. In the method, forward reasoning is used to deduce flaws or situations related to flaws from formalized specifications of cryptographic protocols. Analysts of cryptographic protocols pick up deduced results related to flaws from results of forward reasoning according to some criteria. However, there is no study about the criteria for what are flaws that can be applied to various cryptographic protocols. This paper presents fine-grained security properties that cryptographic protocols should satisfy in order to clarify the criteria. The paper shows the enumerated security properties are correct and valid through analyzing some cryptographic protocols. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1109/SmartWorld.2018.00071 | 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) |
Keywords | Field | DocType |
Cryptographic Protocols,Formal Analysis,Forward Reasoning,Security Properties | Cryptographic protocol,Computer science,Theoretical computer science,Security properties,Distributed computing | Conference |
ISBN | Citations | PageRank |
978-1-5386-9381-0 | 0 | 0.34 |
References | Authors | |
12 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jingchen Yan | 1 | 0 | 1.01 |
| Sho Ishibashi | 2 | 0 | 0.34 |
| Yuichi Goto | 3 | 126 | 22.31 |
| Jingde Cheng | 4 | 542 | 85.38 |