Projects
- Self-Protecting Mobile Agents
- Security-Enhanced Linux
- LOMAC
- System Health and Intrusion Monitoring (SHIM)
- Enterprise Wrappers
- Finished Projects
- Security for Object-Oriented Distributed Systems
- Intrusion Tolerant Distributed Object Systems
- Finished Projects
Security Policy and Management
- Attribute-Based Access Control (ABAC)
- AMBer: Security Policy Automation, Modeling and Bridging
- SPiCE: Configuration Synthesis and Policy Enforcement
- Finished Projects
High Performance Assurance and Forensics