Canton de Vaud < Canton de Zurich < Caroline du Nord | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000401 (2006) | Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France] | Computationally sound symbolic secrecy in the presence of hash functions |
000451 (2005) | A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France] | The AVISPA tool for the automated validation of internet security protocols and applications |
List of associated Author.i
Nombre de documents | Descripteur |
---|---|
1 | A. Armando |
1 | Bogdan Warinschi |
1 | D. Basin |
1 | D. Von Oheimb |
1 | J. Cuellar |
1 | J. Mantovani |
1 | J. Santiago |
1 | L. Compagna |
1 | L. Vigano |
1 | L. Vigneron |
1 | M. Rusinowitch |
1 | M. Turuani |
1 | O. Kouchnarenko |
1 | P. C. Heam |
1 | P. Hankes Drielsma |
1 | Ralf Kusters |
1 | S. Mödersheim |
1 | Steve Kremer |
1 | Véronique Cortier |
1 | Y. Boichut |
1 | Y. Chevalier |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffRegion.i -k "Canton de Zurich"
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffRegion.i \ -Sk "Canton de Zurich" \ | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= PascalFrancis |étape= Checkpoint |type= indexItem |index= AffRegion.i |clé= Canton de Zurich }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |