Towards Model-Based Analysis of Explicit Information Flows in Access Control Systems

Towards Model-Based Analysis of Explicit Information Flows in Access Control Systems

Ryan Babbitt, Samik Basu, Johnny Wong