HBAC
From MaRDI portal
Software:21861
Author name not available (Why is that?)
Related Items (2)
Automatic Generation of History-Based Access Control from Information Flow Specification ⋮ Higher-Order Program Verification and Language-Based Security
This page was built for software: HBAC
