Secure Transaction Protocol Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540850731, 9783540850748
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Detection Models of Collusion Attacks

2008 ◽  
pp. 193-216
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang
Keyword(s):  
Collusion Attacks

Applications of Data Mining in Protocol Analysis

2008 ◽  
pp. 175-192
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang
Keyword(s):  
Data Mining ◽  
Protocol Analysis

Overview of Security Protocol Analysis

2008 ◽  
pp. 17-72 ◽  
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang
Keyword(s):  
Protocol Analysis ◽  
Security Protocol

Introduction

2008 ◽  
pp. 1-15
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang

Uncertainty Issues in Secure Messages

2008 ◽  
pp. 131-173
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang

Conclusion and Future Works

2008 ◽  
pp. 217-221
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang

Formal Analysis of Secure Transaction Protocols

2008 ◽  
pp. 73-106
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang
Keyword(s):  
Formal Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document