protocal analysis < protocol < protocol Fuzzer

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by protocol

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]

Ident.	Authors (with country if any)	Title
004065 (2008-03-31)	Inès Mouakher [France] ; Jeanine Souquières [France] ; Francis Alexandre [France]	Protocol Verification in a Software Component-Based Approach
004467 (2008)	Emmanuel Nataf [France]	IP Simulator User Guide
006626 (2004-07-04)	Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]	Deciding the Security of Protocols with Commuting Public Key Encryption.
006847 (2004)	Yannick Chevalier ; Ralf Küesters ; Michael Rusinowitch ; Mathieu Turuani	Deciding the Security of Protocols with Commuting Public Key Encryption.
006A36 (2004)	Michael Rusinowitch	A Decidable Analysis of Security Protocols
007431 (2003)	Gabrielle Feltin ; Guillaume Doyen ; Olivier Festor	Les protocoles peer-to-peer, leur utilisation et leur détection
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
007E70 (2003)	Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]	An NP Decision Procedure for Protocol Insecurity with XOR
009049 (2001)	Michael Rusinowitch ; Mathieu Turuani	Deciding insecurity for non-atomic keys
009598 (2001)	Michaël Rusinowitch [France] ; Mathieu Turuani [France]	Protocol Insecurity with Finite Number of Sessions is NP-complete
009997 (2000)	Michael Rusinowitch ; Sorin Stratulat ; Francis Klay	Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
00B756 (1997)	Laurent Kaiser ; Ousmane Koné	Une méthode de vérification d'interopérabilité temporelle
00BE70 (1996)	J. Moh Si	Using Equivalences in the System Interconnection
00BE74 (1996)	Yé-Qiong Song ; François Simonot	Messages Scheduling in FDDI for Real-Time Communication
00C287 (1995)	J. Lecuivre ; Y.-Q. Song	A Framework for Validating Distributed Real Time Applications by Performance Evaluation of Communication Profiles
00C441 (1995)	T. Lambolais	The Development of Protocol Specifications with LOTOS : Architectural Phase --? Extended Abstract
00C939 (1994)	P. Kaboré ; A. Schaff ; J. Souquières	Aide à la construction et à la réutilisation de spécifications formelles
00CA42 (1994)	Jean-Pierre Thomesse [France] ; M. Siebert ; Y. Benkhellat	Conformité, Interopérabilité, Interfonctionnement, Interchangeabilité
00CE61 (1993)	Jean-Pierre Thomesse [France]	Le réseau de terrain FIP
00D276 (1992)	Françoise Simonot-Lion ; Y. Q. Song ; Jean-Pierre Thomesse [France] ; C. Cardeira ; G. Bianchi	L'impact des réseaux locaux dans les systèmes automatisés de production : une expérience d'enseignement`
00D817 (1991)	C. Godart ; G. Canals ; J. Lonchamp ; P. Molli ; Jean-Claude Derniame [France]	Using Software Process Modeling to Support Consistent Cooperation and Competition of Software Engineering

---

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/KwdEn.i -k "protocol" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "protocol" \
         | 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=    KwdEn.i
   |clé=    protocol
}}

---

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