@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@article{esop03journal,
author = {Comon{-}Lundh, Hubert and Cortier, V{\'e}ronique},
journal = {Science of Computer Programming},
month = mar,
number = {1-3},
pages = {51-71},
publisher = {Elsevier Science Publishers},
title = {Security Properties: {T}wo Agents are Sufficient},
volume = {50},
year = {2004},
}