8719 articles  [version française]
.:. Browse > By authors > Arnaud .:.
1 document

fulltext access Combining algorithms for deciding knowledge in security protocols
Arnaud M., Cortier V., Delaune S.
N° RR-6118 (2007) [inria-00129418 - version 2]