Protocols Analysis Based on the Combination Mode of Walsh Function

2014 ◽  
Vol 543-547 ◽  
pp. 3482-3485
Author(s):  
Wen Hong Zhao
Keyword(s):  
Protocol Analysis ◽  
Walsh Function ◽  
The Self ◽  
Structure Characterization ◽  
Network Protocol ◽  
New Approach ◽  
Analysis Process ◽  
Combination Modes ◽  
Combination Mode ◽  
Self Learning

To analyses networks, technologies of network protocol analysis are usually used. A new approach of protocols analysis is presented based on the combination mode of walsh function. It consists of three parts, such as the protocol structure characterization method, the hierarchical protocol analysis and the self-learning combination modes. After discussing the analysis process, an experiment shows the efficiency of presented approach.

scholarly journals Research on Security Protocol Analysis Tool SmartVerif

2021 ◽  
Vol 2132 (1) ◽  
pp. 012022
Author(s):  
Siqi Lu ◽  
Qingdi Han ◽  
Xuyang Miao ◽  
Yubo Liu
Keyword(s):  
Protocol Analysis ◽  
Formal Analysis ◽  
Security Protocols ◽  
Security Protocol ◽  
Network Protocol ◽  
Analysis Tool ◽  
Future Improvement

Abstract Security protocols have been designed to protect the security of the network. However, many security protocols cannot guarantee absolute security in real applications. Therefore, security tests of the network protocol become particularly important. In this paper, firstly, we introduce SmartVerif, which is the first formal analysis tool to automatically verify the security of protocols through dynamic strategies. And then, we use SmartVerif to verify the pseudo-randomness of the encapsulated key of the Two-Pass AKE protocol, which was proposed by Liu’s in ASIACRYPT in 2020. Finally, we summary our work and show some limitations of SmartVerif. At the same time, we also point out the direction for future improvement of SmartVerif.

Verbal Protocol Analysis Comes of Age

1985 ◽  
Vol 30 (5) ◽  
pp. 373-375
Author(s):  
Robert L. Mack
Keyword(s):  
Protocol Analysis ◽  
Verbal Protocol ◽  
Verbal Protocol Analysis
Sign in / Sign up

Export Citation Format

Share Document