Modeling TCG-Based Secure Systems with Colored Petri Nets.

Liang Gu Yao Guo Yanjiang Yang Feng Bao Hong Mei

Published in: INTRUST (2010)

Keyphrases

colored petri nets
petri net
complex systems
management system
knowledge based systems
modeling method
data sets
databases
artificial intelligence
case study
distributed systems
intelligent systems
intrusion detection