2012-06-25

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF '12)

Date published

2012-06-25

Date last modified

2019-07-18 12:09:28

Authors

Valerio Genovese
Deepak Garg
Daniele Rispoli

Download