Security Properties: Two Agents Are Sufficient

@inproceedings{ComonLundh2003SecurityPT,
  title={Security Properties: Two Agents Are Sufficient},
  author={Hubert Comon-Lundh and V{\'e}ronique Cortier},
  booktitle={ESOP},
  year={2003}
}
We consider an important family of cryptographic protocols and a class of security properties which encompasses secrecy and authentication. We show that it is always sufficient to consider a bounded number of agents b (b = 2 for secrecy properties for example): if there is an attack involving n agents, then there is an attack involving at most b agents. 
Highly Cited
This paper has 122 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
79 Citations
31 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 79 extracted citations

123 Citations

01020'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 123 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…