Guy Gary Helmer;Johnny S. Wong
-;-
Software fault tree and coloured Petri net based specification, design and implementation of agent-based intrusion detection systems
International Journal of Information and Computer Security