A Conditional Constructive Logic for Access Control and Its Sequent Calculus (bibtex)
by Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Reference:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato), In TABLEAUX, 2011.
Bibtex Entry:
@InProceedings{Genovese2011,
  Title                    = {A Conditional Constructive Logic for Access Control and Its Sequent Calculus},
  Author                   = {Valerio Genovese and Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato},
  Booktitle                = {TABLEAUX},
  Year                     = {2011},
  Pages                    = {164-179},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/tableaux/2011},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-22119-4_14},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser