Selected publications at LSV: 2008

H. Comon-Lundh. About models of security protocols. In Proceedings of the 28th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'08), Bangalore, India, December 2008, Leibniz International Proceedings in Informatics 2. Leibniz-Zentrum für Informatik. ( PDF )

Abstract:: In this paper, mostly consisting of definitions, we revisit the models of security protocols: we show that the symbolic and the computational models (as well as others) are instances of a same generic model. Our definitions are also parametrized by the security primitives, the notion of attacker and, to some extent, the process calculus.

`@inproceedings{HCL-fsttcs08,`
	`address =`	`{Bangalore, India},`
	`author =`	`{Comon{-}Lundh, Hubert},`
	`booktitle =`	`{{P}roceedings of the 28th {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'08)},`
	`editor =`	`{Hariharan, Ramesh and Mukund, Madhavan and Vinay, V.},`
	`month =`	`dec,`
	`publisher =`	`{Leibniz-Zentrum f{\"u}r Informatik},`
	`series =`	`{Leibniz International Proceedings in Informatics},`
	`title =`	`{About models of security protocols},`
	`url =`	`{http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HCL-fsttcs08.pdf},`
	`volume =`	`{2},`
	`year =`	`{2008},`
`}`

About LSV