Replay Attack in TCG Specification and Solution

Author(s):  
D. Bruschi ◽  
L. Cavallaro ◽  
A. Lanzi ◽  
M. Monga
Keyword(s):  
2020 ◽  
Author(s):  
Hongji Wang ◽  
Heinrich Dinkel ◽  
Shuai Wang ◽  
Yanmin Qian ◽  
Kai Yu

Author(s):  
Anderson R. Avila ◽  
Jahangir Alam ◽  
Douglas O’Shaughnessy ◽  
Tiago H. Falk

Author(s):  
Ashish Joshi ◽  
Amar Kumar Mohapatra

Background & Objective: Cryptographic protocols had been evident method for ensuring con dentiality, Integrity and authentication in various digital communication systems. However the validation and analysis of such cryptographic protocols was limited to usage of formal mathematical models until few years back. Methods: In this paper, various popular cryptographic protocols have been studied. Some of these protocols (PAP, CHAP, and EAP) achieve security goals in peer to peer communication while others (RADIUS, DIAMETER and Kerberos) can work in multiparty environment. These protocols were validated and analysed over two popular security validation and analysis tools AVISPA and Scyther. The protocols were written according to their documentation using the HLPSL and SPDL for analysis over AVISPA and Scyther respectively. The results of these tools were analysed to nd the possible attack an each protocol. Afterwards The execution time analysis of the protocols were done by repeating the experiment for multiple iterations over the command line versions of these tools.As the literature review suggested, this research also validates that using password based protocols (PAP) is faster in terms of execution time as compared to other methods, Usage of nonces tackles the replay attack and DIAMETER is secure than RADIUS. Results and Conclusion: The results also showed us that DIAMETER is faster than RADIUS. Though Kerberos protocol was found to safe, the results tell us that it is compromisable under particular circumstances.


Author(s):  
Ki-Seob Hong ◽  
Hyo-Bin Kim ◽  
Dong-Hyun Kim ◽  
Jung-Taek Seo
Keyword(s):  

2018 ◽  
Vol 78 (7) ◽  
pp. 8383-8396 ◽  
Author(s):  
Yanzhen Ren ◽  
Zhong Fang ◽  
Dengkai Liu ◽  
Changwen Chen

2014 ◽  
Vol 513-517 ◽  
pp. 1289-1293 ◽  
Author(s):  
Si Min Liu ◽  
Jun Yao Ye ◽  
Ying Lian Wang

This paper researched on Needham-Schroeder symmetric key authentication protocol based on BAN logic. It pointed out the flaw of the protocol which can be used by replay attack and improved the protocol by adding nonce in the transferred message. Then it listed the improved NS authentication protocol. Finally, this paper proved the improved protocol successful and available with BAN logic.


2021 ◽  
Author(s):  
Yuan Lei ◽  
Xiao Huo ◽  
Yuzong Jiao ◽  
Yiu Kei Li

Sign in / Sign up

Export Citation Format

Share Document