Automating access control logics in simple type theory with LEO-II’, in Emerging Challenges for Security (2009)

by Christoph Benzmüller
Venue:Privacy and Trust, 24th IFIP TC 11 International Information Security Conference, SEC