Transition systems < Transmission protocol < Travelling wave fronts | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000340 (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. Heám [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. Vigan [Suisse] ; L. Vigneron [France] | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications |
000412 (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 |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Allemagne/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/KwdEn.i -k "Transmission protocol"
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/KwdEn.i \ -Sk "Transmission protocol" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Allemagne |étape= Analysis |type= indexItem |index= KwdEn.i |clé= Transmission protocol }}
This area was generated with Dilib version V0.6.33. |