A Conditional Constructive Logic for Access Control and Its Sequent Calculus.

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Browse the full TABLEAUX paper archive.