Wang LiJun

Learn More
In this paper, we present how the LTL (Linear Temporal Logic) language can be used to specify security protocols and discuss the analysis process using LTL. To illustrate the feasibility of our approach, we analyse the Needham-Schroeder public-key protocol and reproduce the error found by Gavin Lowe. We also extend LTL and we use LTL of knowledge to reason(More)
Based on LabVIEW8.6 platform, this thesis developed a multi-function virtual oscilloscope system that includes the single channel oscilloscope which can realize the signal waveform display, time measurement, filtering and spectrum analysis of simulation signal, double channel oscilloscope which can realize the synthesis of Lissajous fingure by two signals(More)
  • 1