An Experimental Study on the Semi-Automated Formal Verification of Cryptographic Protocols
![]() |
권태경
(세종대학교 컴퓨터공학부)
양숙현 (한국과학기술원 전자전산학과) 김승주 (한국정보보호진흥원) 임선간 (한국정보보호진흥원) |
1 |
A unified cryptographic protocol logic
/
|
2 |
Automated analysis of cryptographic protocols using MurΦ
/
|
3 |
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
/
|
4 |
Athena: a novel approach to efficient automatic security protocol analysis
/
|
5 |
Reasoning about belief in cryptographic protocols
/
|
6 |
A logic of authentication
/
|
7 |
Formal methods in the design of cryptographic protocols
/
|
8 |
Entity authentication and key distribution
/
|
9 |
Isabelle/HOL
/
|
10 |
On unifying some cryptographic protocol logics
/
|
11 |
Evaluating and improving protocol analysis by automatic proof
/
|
12 |
/
|
13 |
A HOL extension of GNY for automatically analyzing cryptographic protocols
/
|
14 |
A semantics for a logic of authentication
/
|
15 |
Modelling and verifying key-exchange protocols using CSP & FDR
/
|
16 |
The logic of authentication protocols
/
|
17 |
An interface specification language for automatically analyzing cryptographic protocols
/
|
18 |
/
|
19 |
Analyzing encryption protocols using formal verification techniques
/
ScienceOn |
20 |
Formal verification of cryptographic protocols: A survey
/
|
21 |
Extending cryptographic logics of belief to key agreement protocols
/
|
22 |
C3PO: a tool for automatic sound cryptographic protocol analysis
/
|
23 |
On the automation of GNY logic
/
|
![]() |