scholarly journals The Network Protocol Analysis Technique in Snort

2012 ◽  
Vol 25 ◽  
pp. 1226-1230 ◽  
Author(s):  
Qing-Xiu Wu
Keyword(s):  
Protocol Analysis ◽  
Network Protocol ◽  
Analysis Technique

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.

Strain analysis in composite ceramics

1986 ◽  
Vol 44 ◽  
pp. 494-497
Author(s):  
W. M. Kriven
Keyword(s):  
Strain Field ◽  
Strain Analysis ◽  
Processing Temperature ◽  
Transformation Toughening ◽  
Zirconia Ceramics ◽  
Volume Increase ◽  
Analysis Technique ◽  
Fundamental Understanding ◽  
Contrast Analysis ◽  
Elastic Strain Field

Significant progress towards a fundamental understanding of transformation toughening in composite zirconia ceramics was made possible by the application of a TEM contrast analysis technique for imaging elastic strains. Spherical zirconia particles dispersed in a large-grained alumina matrix were examined by 1 MeV HVEM to simulate bulk conditions. A thermal contraction mismatch arose on cooling from the processing temperature of 1500°C to RT. Tetragonal ZrO2 contracted amisotropically with α(ct) = 16 X 10-6/°C and α(at) = 11 X 10-6/°C and faster than Al2O3 which contracted relatively isotropically at α = 8 X 10-6/°C. A volume increase of +4.9% accompanied the transformation to monoclinic symmetry at room temperature. The elastic strain field surrounding a particle before transformation was 3-dimensionally correlated with the internal crystallographic orientation of the particle and with the strain field after transformation. The aim of this paper is to theoretically and experimentally describe this technique using the ZrO2 as an example and thereby to illustrate the experimental requirements Tor such an analysis in other systems.

Sign in / Sign up

Export Citation Format

Share Document