%0 Journal Article %1 journals/compsec/Pavlich-MariscalDM10a %A Pavlich-Mariscal, Jaime A. %A Demurjian, Steven A. %A Michel, Laurent D. %D 2010 %J Computers & Security %K dblp %N 7 %P 770-784 %T A framework for security assurance of access control enforcement code. %U http://dblp.uni-trier.de/db/journals/compsec/compsec29.html#Pavlich-MariscalDM10a %V 29

@article{journals/compsec/Pavlich-MariscalDM10a, added-at = {2010-09-13T00:00:00.000+0200}, author = {Pavlich-Mariscal, Jaime A. and Demurjian, Steven A. and Michel, Laurent D.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24b9df00706d1cd1c27d1aa4b26d40022/dblp}, ee = {http://dx.doi.org/10.1016/j.cose.2010.03.004}, interhash = {133c7a5fd354c2d5311a520ba3287515}, intrahash = {4b9df00706d1cd1c27d1aa4b26d40022}, journal = {Computers & Security}, keywords = {dblp}, number = 7, pages = {770-784}, timestamp = {2016-02-02T09:14:51.000+0100}, title = {A framework for security assurance of access control enforcement code.}, url = {http://dblp.uni-trier.de/db/journals/compsec/compsec29.html#Pavlich-MariscalDM10a}, volume = 29, year = 2010 }