Zhou Qing-lei

发表

Application of RBAC to Administration of Networks

Zhou Qing-lei, 2007 .

Kind of automated analysis method of security protocol

Zhou Qing-lei, 2010 .

Multi-Neural Network Based Intrusion Detection Technology

Zhou Qing-lei, 2008 .

On the Decidability and Expressive Power of Timed Interval Temporal Logic

Zhou Qing-lei, 2010 .

Model Checking of Timed Petri Nets to Semantically Equivalent Timed Automata Based on Uppaal

Zhou Qing-lei, 2005 .

Improved Logic Analysis Method for Electronic Commerce Protocols

Zhou Qing-lei, 2010 .

Model checking of plane landing control system based on uppaal

Zhou Qing-lei, 2009 .

Snort Intrusion Detection System Based on the IPv6 Research

Zhou Qing-lei, 2007 .

Automatic Verification of Communication Protocol Using UPPAAL

Wang Jing, Zhou Qing-lei, 2006 .

Forensic and Analysis Model of Document Fragment

Zhou Qing-lei, 2007 .

Research on Bayesian classifier for classifying data streams

Zhou Qing-lei, 2010 .

Timed Automata and Network Protocol Verification

Zhou Qing-lei, 2006 .

The Construction and Bisimulation between Two Model of Timed Automata

Zhou Qing-lei, 2007 .

Formal Deduction System for Solving Einstein’s Riddle

Zhou Qing-lei, 2012 .

Real-time DDOS detection system based on one-class SVM

Zhou Qing-lei, 2011 .

Behavioral Compatibility Test Generation of Component-based Real-time System

Zhou Qing-lei, 2012 .

Model research of testing process based on comparison

Zhou Qing-lei, 2010 .

Application of Hybrid-coded Genetic Algorithm in the Test Data Generation Study

Zhou Qing-lei, 2009 .

On the Decidability of Satisfiability of Discrete TITL Formulae

Zhou Qing-lei, 2010 .