Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction presented at 25th IEEE Computer Security Foundations Symposium 2012

by Deepak Garg, Valerio Genovese, Daniele Rispoli,

Summary : N/A