Laurent Viennot < Laurent Vigneron < Laurent Voisin

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 51.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000066 (2003)	Ingo Dahn ; Laurent Vigneron	4th International Workshop on First-Order Theorem Proving- FTP'2003
000135 (2010-10-08)	Eric Monfroy ; Olivier Perrin ; Christophe Ringeissen ; Laurent Vigneron	A Constraint-based Approach to Web Services Provisioning
000252 (2004)	Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron	A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000253 (2004)	Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron	A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000546 (2001)	Yannick Chevalier ; Laurent Vigneron	A Tool for Lazy Verification of Security Protocols
001058 (1998)	Laurent Vigneron	Automated Deduction Techniques for Studying Rough Algebras
001059 (2011-11-14)	Laurent Vigneron	Automated Deduction applied to the Analysis and Verification of Infinite State Systems
001074 (2002)	Yannick Chevalier ; Laurent Vigneron	Automated Unbounded Verification of Security Protocols
001075 (2002)	Yannick Chevalier ; Laurent Vigneron	Automated Unbounded Verification of Security Protocols
001081 (2007)	Mohamed Salah Bouassida ; Najah Chridi ; Isabelle Chrisment ; Olivier Festor ; Laurent Vigneron	Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
001084 (1993)	Michaël Rusinowitch ; Laurent Vigneron	Automated deduction with associative commutative operators
001122 (2007)	Francis Klay ; Judson Santiago ; Laurent Vigneron	Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder
001123 (2008-10-09)	Francis Klay ; Laurent Vigneron	Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
001135 (2006-05-06)	Mohamed Salah Bouassida ; Najah Chridi ; Isabelle Chrisment ; Olivier Festor ; Laurent Vigneron	Automatic Verification of Key Management Architecture for Hierarchical Group Protocols
001137 (2004-07)	Laurent Vigneron	Automatic Verification of Security Protocols
001164 (2006-03)	Judson Santos Santiago ; Laurent Vigneron	Automatically Analysing Non-repudiation with Authentication
001677 (2000)	Florent Jacquemard ; Michaël Rusinowitch ; Laurent Vigneron	Compiling and Verifying Security Protocols
001678 (2000)	Florent Jacquemard ; Michaël Rusinowitch ; Laurent Vigneron	Compiling and Verifying Security Protocols
001679 (1999)	Florent Jacquemard ; Michaël Rusinowitch ; Laurent Vigneron	Compiling and narrowing cryptographic protocols
001B70 (2010)	Liu Jing ; Laurent Vigneron	Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card
002162 (2003)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani ; Laurent Vigneron	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Laurent Vigneron" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Laurent Vigneron" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

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

---

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