Fine + DCIL
Fine + DCIL. Nikhil Swamy Juan Chen Ravi Chugh. End-to-end Verification of Security Enforcement. Security Policies. Many languages/logics to specify security policies XACML, DKAL, SecPAL , DCC, SD3, Binder, Ponder, CDatalog , RT, SPKI/SDSI, …
755 views • 62 slides