Dynamic Forensics System with Intrusion Tolerance Based on Hierarchical Coloured Petri-nets.

Hsing-Chung Chen Jai-Zong Sun Zhen-Dong Wu

Published in: BWCCA (2010)

Keyphrases

coloured petri nets
image analysis
image processing
dynamic environments
intrusion detection
dynamically changing
formal verification
neural network
case study
hierarchical structure
coarse to fine
hierarchical structures