FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Protocole transmission »
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.
Protocole sécurité < Protocole transmission < Prototype  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 33.
[20-40] [0 - 20][0 - 33]
Ident.Authors (with country if any)Title
000617 (2004) Martin Abadi [États-Unis] ; Veronique Cortier [France]Deciding knowledge in security protocols under equational theories
000628 (2004) MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]An enhanced hybrid key management protocol for secure multicast in ad hoc networks
000706 (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
000768 (2002) Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [Allemagne] ; Luca Compagna [Italie] ; Sebastian Mödersheim [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano [Allemagne] ; Laurent Vigneron [France]The AVISS security protocol analysis tool
000801 (2002) Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France]Incremental proof of the producer/consumer property for the PCI protocol
000829 (2002) Yannick Chevalier [France] ; Laurent Vigneron [France]Automated unbounded verification of security protocols
000876 (2001) YEQIONG SONG [France]Time constrained communication over switched ethernet
000905 (2001) B. Gaujal [France] ; N. Navet [France]Fault confinement mechanisms on CAN: Analysis and improvements
000907 (2001) Ghassan Chaddoud [France] ; Isabelle Chrisment [France] ; André Schaff [France]Dynamic group key management protocol
000988 (2000) M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France]Mechanical verification of an ideal incremental ABR conformance algorithm
000A48 (1999) O. Kone [France] ; R. Castanet [France]Méthodes formelles de test de conformité des protocoles
000B26 (1998) T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France]Assistance au développement de spécifications de protocoles de communication
000C83 (1996) J. Souquieres [France] ; N. Levy [France]PROPLANE : A specification development environment

List of associated Author.i

Nombre de
documents		Descripteur
6Véronique Cortier
4Isabelle Chrisment
4Mathieu Turuani
4Yannick Chevalier
3Laurent Vigneron
3Michaël Rusinowitch
3Olivier Festor
2Bogdan Warinschi
2Ghassan Chaddoud
2J. Souquieres
2M. Rusinowitch
2MOHAMED SALAH BOUASSIDA
2N. Levy
2Steve Kremer
2Tomasz Truderung
1A. Armando
1A. Capone
1Abdessamad Imine
1Airy Weinzoepflen
1Alejandro Quintero
1Alessandro Armando
1Ameen Banjar
1Andre Schaff
1André Schaff
1Ante Derek
1Anupam Datta
1Aurel Randolph
1B. Addis
1B. Gaujal
1B. Sanso
1Ben Smyth
1D. Basin
1D. Von Oheimb
1David Basin
1Dominique Cansell
1Dominique Méry
1Eugen Zalinescu
1F. Klay
1Francis Alexandre
1G. Carello
1Ganesh Gopalakrishnan
1Hanifa Boucheneb
1Hans Van Ditmarsch
1Inès Mouakher
1J. Cuellar
1J. Mantovani
1J. Santiago
1Jeanine Souquieres
1John C. Mitchell
1Jérome Francois
1L. Compagna
1L. G. Gianoli
1L. Vigano
1L. Vigneron
1Luca Compagna
1Luca Vigano
1M. Turuani
1Martin Abadi
1Mathieu Baudet
1Mehdi Bouallagui
1Michael Rusinowitch
1Mike Jones
1N. Navet
1O. Kone
1O. Kouchnarenko
1P. C. Heam
1P. Hankes Drielsma
1Pakawat Pupatwibul
1R. Castanet
1Radu State
1Ralf Kusters
1Ralf Küsters
1Rineke Verbrugge
1Robin Braun
1S. Mödersheim
1S. Stratulat
1Sebastian Mödersheim
1Sujata Ghosh
1T. Lambolais
1Veronique Cortier
1Vijay Varadharajan
1Vitaly Shmatikov
1Y. Boichut
1Y. Chevalier
1YANJING WANG
1YEQIONG SONG

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/FC03.fr.i -k "Protocole transmission" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Protocole transmission" \
         | 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=    FC03.fr.i
   |clé=    Protocole transmission
}}
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