Intrusion Detection Systems
Model checking and failure analysis in e-commerce protocolsCPN’05, Aarhus Oct 20051 Colored Petri Net based model checking and failure analysis for e-commerce.
1 A Distributed and Flexible Workflow Management System (WfMS) Maryam Tehrany Information Science Department University of Otago at Dunedin, New Zealand.
Student: Tai-Lin Huang Advisor: Ming-Shan Lu, Ph.D.
CPSC 875