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

Genovese, Valerio and Garg, Deepak and Rispoli, Daniele
(2012) Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.
In: Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF '12).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item