Security Modeling And Analysis Of Mobile Agent Systems

Compositional Verification of Concurrent and Real-Time Systems

Intrusion Detection: A Machine Learning Approach