Security Properties: Two Agents are Sufficient

Security Properties: Two Agents are Sufficient. Hubert Comon-Lundh and Véronique Cortier. Science of Computer Programming, 50(1-3):51–71, Elsevier Science Publishers, March 2004.

Download

[PDF] [PS]

Abstract

(unavailable)

BibTeX

@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},
}