Research Activities


Access Control Specification, Composition, and Analysis
Aspect-Oriented Software Design
Event Processing and Data Streams
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


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, National Institute of Health, United States Department of Agriculture and Federal Aviation Administration.