Automating Access Control Logics in Simple Type Theory with LEO-II

Add code
Mar 04, 2009
Figure 1 for Automating Access Control Logics in Simple Type Theory with LEO-II
Figure 2 for Automating Access Control Logics in Simple Type Theory with LEO-II
Figure 3 for Automating Access Control Logics in Simple Type Theory with LEO-II

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: