Modeling and verifying EPC network intrusion system based on timed automata.

Yan Sun Tin-Yu Wu Xiaoqiong Ma Han-Chieh Chao

Published in: Pervasive Mob. Comput. (2015)

Keyphrases

timed automata
network intrusion
model checking
network intrusion detection
intrusion detection
network security
real time
temporal logic
reachability analysis
real time systems
theorem prover
supply chain
information systems
first order logic
fraud detection
computer systems
low cost
probabilistic model