@inproceedings{DBLP:conf/csfw/GargP06,
author = {Deepak Garg and
Frank Pfenning},
title = {Non-Interference in Constructive Authorization Logic},
booktitle = {CSFW},
year = {2006},
pages = {283-296},
ee = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.18},
crossref = {DBLP:conf/csfw/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/csfw/2006,
title = {19th IEEE Computer Security Foundations Workshop, (CSFW-19
2006), 5-7 July 2006, Venice, Italy},
booktitle = {CSFW},
publisher = {IEEE Computer Society},
year = {2006},
isbn = {0-7695-2615-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-02-23 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page