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


 

Questions? Contact Lauren: lewilliams@bsu.edu or 765-285-2795.  Amicable? Keep in touch with S2ERC, now on Facebook!