|
Towards Model-Based Analysis of Explicit Information Flows in Access Control Systems |
|
Ryan Babbitt, Samik Basu, Johnny Wong |
![]() |
|
Towards Model-Based Analysis of Explicit Information Flows in Access Control Systems |
|
Ryan Babbitt, Samik Basu, Johnny Wong |
![]() |