Security properties: two agents are sufficient (2003)
Cached
Download Links
- [www.lsv.ens-cachan.fr]
- [www.lsv.ens-cachan.fr]
- [www.lsv.ens-cachan.fr]
- DBLP
Other Repositories/Bibliography
by
Hubert Comon-Lundh
,
Veronique Cortier
| Venue: | In Research Report LSV-02-10, Lab. Speci and Veri ENS de |
| Citations: | 26 - 3 self |
BibTeX
@INPROCEEDINGS{Comon-Lundh03securityproperties:,
author = {Hubert Comon-Lundh and Veronique Cortier},
title = {Security properties: two agents are sufficient},
booktitle = {In Research Report LSV-02-10, Lab. Speci and Veri ENS de},
year = {2003},
pages = {99--113},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider arbitrary cryptographic protocols and security properties. We show that it is always sufficient to consider a bounded number of agents b (actually b = 2 in most of the cases): if there is an attack involving n agents, then there is an attack involving at most b agents.
