Research Activities

Publications

Active Databases
Access Control Specification, Composition, and Analysis
Aspect-Oriented Software Design
Internet Protocols
Privacy and Anonymity
Real-Time Data Broadcasting
Real-Time Access Control Policy Updates
Semantics-Based Transaction Processing
Spatio-Temporal Access Control Models
Trust Models and Their Applications
UML Model Analysis
Workflows and Advanced Transaction Models
Miscellaneous Publications

  Acknowledgement

I would like to thank my sponsors for supporting my research. My research is supported by Air Force Office of Scientific Research, Air Force Research Laboratory, National Science Foundation and Federal Aviation Administration.