Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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.
protocoles < protocols < proton  Facettes :

List of bibliographic references indexed by protocols

Number of relevant bibliographic references: 214.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000020 (2016-05-23) Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne]SoK: Verifiability Notions for E-Voting Protocols
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000255 (2015-11) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]From Security Protocols to Pushdown Automata
000462 (2015-07) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Decidability of trace equivalence for protocols with nonces
000489 (2015-06-22) Salvatore Signorello [Luxembourg (pays)] ; Radu State [Luxembourg (pays)] ; Olivier Festor [France]Exploring IoT Protocols Through the Information-Centric Networking's Lens
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000624 (2015-03) Kévin Roussel [France] ; Ye-Qiong Song [France] ; Olivier Zendra [France]Lessons Learned through Implementation and Performance Comparison of Two MAC/RDC Protocols on Different WSN OS
000633 (2015-02-11) Kévin Roussel [France] ; Ye-Qiong Song [France] ; Olivier Zendra [France]RIOT OS Paves the Way for Implementation of High-Performance MAC Protocols
000642 (2015-01-29) Guillaume Scerri [France]Proofs of security protocols revisited
000780 (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
000875 (2014-11-21) Cyrille Wiedling [France]Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
000951 (2014-09-13) Véronique Cortier [France] ; Steve Kremer [France]Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
000980 (2014-09) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Typing messages for free in security protocols: the~case of equivalence properties
000A35 (2014-07-17) Michaël Rusinowitch [France]Automated Verification of Security Protocols and Services
000A95 (2014-06-19) Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]Dynamic Tags for Security Protocols
000B37 (2014-06) Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Typing messages for free in security protocols: the case of equivalence properties
000B57 (2014-05-18) Steve Kremer [France] ; Robert Künnemann [France]Automated Analysis of Security Protocols with Global State
000B74 (2014-05-05) Yves Laprie [France] ; Michael Aron [France] ; Marie-Odile Berger [France] ; Brigitte Wrobel-Dautcourt [France]Studying MRI acquisition protocols of sustained sounds with a multimodal acquisition system
000C53 (2014-03-05) Steve Kremer [France] ; Robert Künnemann [Allemagne]Automated analysis of security protocols with global state
000D51 (2014) Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Modeling and Verifying Ad Hoc Routing Protocols

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/Title.i -k "protocols" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "protocols" \
         | 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=    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