Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Laurent Vigneron »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Laurent Viennot < Laurent Vigneron < Laurent Vinet  Facettes :

List of bibliographic references indexed by Laurent Vigneron

Number of relevant bibliographic references: 94.
[40-60] [0 - 20][0 - 50][60-80]
Ident.Authors (with country if any)Title
006E80 (2004) Yannick Chevalier [France] ; Laurent Vigneron [France]Strategy for Verifying Security Protocols with Unbounded Message Size
006E87 (2004) Deepak Kapur ; Laurent Vigneron [France]Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning
007121 (2004) Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France]A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
007122 (2004) Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France]A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
007190 (2003-08-25) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007487 (2003) Leo Bachmair ; Ashish Tiwari ; Laurent VigneronAbstract Congruence Closure
007663 (2003) Yannick Chevalier ; Ralf Kuester ; Michael Rusinowitch ; Mathieu Turuani ; Laurent VigneronExtending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007730 (2003) Ingo Dahn ; Laurent Vigneron4th International Workshop on First-Order Theorem Proving- FTP'2003
007A61 (2003) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007B03 (2003) Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France]Abstract Congruence Closure
007E25 (2003) Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007F04 (2003) Ingo Dahn ; Laurent Vigneron [France]4th International Workshop on First-Order Theorem Proving- FTP'2003
007F92 (2002-07-08) Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Analyse Automatique de Protocoles de Sécurité avec CASRUL
008003 (2002-07) Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008443 (2002) Yannick Chevalier ; Laurent VigneronAutomated Unbounded Verification of Security Protocols
008594 (2002) Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Moedersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISS Security Protocol Analysis Tool
008734 (2002) Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008837 (2002) Yannick Chevalier [France] ; Laurent Vigneron [France]Automated Unbounded Verification of Security Protocols
008A64 (2002) Yannick Chevalier [France] ; Laurent Vigneron [France]Strategy for Verifying Security Protocols with Unbounded Message Size
008B79 (2002) Yannick Chevalier [France] ; Laurent Vigneron [France]Automated Unbounded Verification of Security Protocols
008B80 (2002) Yannick Chevalier [France] ; Laurent Vigneron [France]Automated Unbounded Verification of Security Protocols

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Laurent Vigneron" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Laurent Vigneron" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Laurent Vigneron
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022