Study on Security Protocol Analysis and Design Technology for RFID System

2015 ◽  
Author(s):  
Pengpeng Yang ◽  
Baojiang Cui ◽  
Ziyue Wang ◽  
Xiaobing Liang ◽  
Yilun Fu
Keyword(s):  
Protocol Analysis ◽  
Security Protocol ◽  
Design Technology ◽  
Analysis And Design ◽  
Rfid System

Requirements Analysis and Design Technology Report.

1994 ◽  
Author(s):  
Ralph Ganska ◽  
John Grotzky ◽  
Jack Rubinstein ◽  
Jim Van Buren ◽  
Shane Atkinson
Keyword(s):  
Requirements Analysis ◽  
Design Technology ◽  
Analysis And Design

scholarly journals Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

2005 ◽  
Vol 13 (6) ◽  
pp. 637-663 ◽  
Author(s):  
Carlos Caleiro ◽  
Luca Viganò ◽  
David Basin
Keyword(s):  
Temporal Logic ◽  
Protocol Analysis ◽  
Security Protocol ◽  
Strand Spaces
Sign in / Sign up

Export Citation Format

Share Document