Titre (en)
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

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

Index « Titre (en) » - entrée « protocols »
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.
protocol < protocols < proton  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 36.
[0-20] [0 - 20][0 - 36][20-35][20-40]
Ident.Authors (with country if any)Title
000014 (2015) Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Model‐based mutation testing from security protocols in HLPSL
000208 (2013) Dominique Méry [France] ; Michael Poppleton [Royaume-Uni]Formal Modelling and Verification of Population Protocols
000381 (2012) Véronique Cortier [France]Secure Composition of Protocols
000621 (2011) Mouhebeddine Berrima ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]Deciding knowledge in security protocols under some e-voting theories
000799 (2010) Nazim Benaissa [France] ; Dominique Méry [France]Proof-Based Design of Security Protocols
000840 (2010) P. De Saqui-Sannes [France] ; T. Villemur [France] ; B. Fontan [France] ; S. Mota [Mexique] ; M. S. Bouassida [France] ; N. Chridi [France] ; I. Chrisment [France] ; L. Vigneron [France]Formal verification of secure group communication protocols modelled in UML
000857 (2010) Véronique Cortier [France] ; Stéphanie Delaune [France]Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
000860 (2010) Nazim Benaissa [France] ; Dominique Méry [France]Cryptographic Protocols Analysis in Event B
000976 (2009) Reynald Af Feldt [Japon] ; Hubert Comon-Lundh [Japon]Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
000A87 (2009) Gergei Bana [Portugal] ; Koji Hasebe [Japon] ; Mitsuhiro Okada [Japon]Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
000B04 (2009) Francis Klay [France] ; Laurent Vigneron [France]Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
000D10 (2008) Véronique Cortier [France]Verification of Security Protocols
000D41 (2008) Véronique Cortier [France] ; Stéphanie Delaune [France]Safely composing security protocols
000D84 (2008) Nazim Benassa [France]Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
000F37 (2007) Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France]Verifying Cryptographic Protocols with Subterms Constraints
000F59 (2007) Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Z Linescu [France]Synthesizing Secure Protocols
000F73 (2007) Véronique Cortier [France] ; Jérémie Delaitre [France] ; Stéphanie Delaune [France]Safely Composing Security Protocols
001012 (2007) Jean Lieber [France] ; Mathieu D Quin [France, Royaume-Uni] ; Fadi Badra [France] ; Amedeo Napoli [France]Modeling adaptation of breast cancer treatment decision protocols in the Kasimir project
001065 (2007) Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding Knowledge in Security Protocols for Monoidal Equational Theories
001075 (2007) Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Combining Algorithms for Deciding Knowledge in Security Protocols
001087 (2007) Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]Automated verification of a key management architecture for hierarchical group protocols

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "protocols" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "protocols" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    protocols
}}
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