.:. Browse > List by authors > Vigneron .:.

50 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5

Modélisation des propriétés de sécurité de protocoles de groupe Chridi N., Vigneron L. Dans 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes, CRiSIS (2005) 119-132 [inria-00000606 - version 1]

Proceedings of the 19th International Workshop on Unification Vigneron L. LORIA (Ed.) (2005) 143 [inria-00000409 - version 1]

Un outil d'aide à la conception de protocoles cryptographiques Vigneron L. (2005) [inria-00000407 - version 1]

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols Chevalier Y., Compagna L., Cuellar J., Hankes Drielsma P., Mantovani J., Moedersheim S., Vigneron L. Dans Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004 (2004) 13 p [inria-00099882 - version 1]

Rule-based Programs describing Internet Security Protocols Chevalier Y., Vigneron L. Dans 5th International Workshop on Rule-Based Programming - RULE'2004 (2004) 83-97 [inria-00099888 - version 1]

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols Chevalier Y., Compagna L., Cuellar J., Hankes Drielsma P., Mantovani J., Moedersheim S., Vigneron L. N° A04-R-067 || chevalier04b (2004) [inria-00100219 - version 1]

Automatic Verification of Security Protocols Vigneron L. Dans 18th International Workshop on Unification - UNIF'2004 (2004) 2 p [inria-00100032 - version 1]

Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning Kapur D., Vigneron L. Kluwer (Ed.) (2004) 219-383 [inria-00100031 - version 1]

Strategy for Verifying Security Protocols with Unbounded Message Size Chevalier Y., Vigneron L. Journal of Automated Software Engineering 11, 2 (2004) 141-166 [inria-00099945 - version 1]

4th International Workshop on First-Order Theorem Proving- FTP'2003 Dahn I., Vigneron L. Elsevier Science Publishers (Ed.) (2003) [inria-00099513 - version 1]