Serge Gladysh
Research interests:
Formal Methods:
- Temporal logic
Information Security
- Theoretical Access Control Models
- Formal Security Policies
- Access Control Frameworks, Languages and Enforcement Mechanisms
- Trust Management
Formal Methods:
Information Security