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 « Sécurité »
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.
Systématique < Sécurité < Sécurité informatique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
000032 (2013) SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie]La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services
000134 (2011) S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France]Efficient and accurate computation of upper bounds of approximation errors
000171 (2010) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
000324 (2006) Vincent Cridlig [France] ; Radu State [France] ; Olivier Festor [France]Ensuite, une plate-forme libre de configuration de réseau
000343 (2006) Mathieu Turuani [France]The CL-atse protocol analyser
000371 (2006) Mohamed Salah Bouassida [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]Mobility-awareness in group key management protocols within MANETs
000379 (2006) Martin Abadi [États-Unis] ; Mathieu Baudet [France] ; Bogdan Warinschi [France]Guessing attacks and the computational soundness of static equivalence
000395 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000401 (2006) Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France]Computationally sound symbolic secrecy in the presence of hash functions
000451 (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. Heam [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. Vigano [Suisse] ; L. Vigneron [France]The AVISPA tool for the automated validation of internet security protocols and applications
000458 (2005) Tomasz Truderung [France, Pologne]Regular protocols and attacks with regular knowledge
000464 (2005) Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic polynomial-time semantics for a protocol security logic
000507 (2005) Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]Computationally sound, automated proofs for security protocols
000508 (2005) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries
000511 (2005) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Combining intruder theories
000550 (2004) Ghassan Chaddoud [France] ; Vijay Varadharajan [Australie] ; Isabelle Chrisment [France] ; Andre Schaff [France]Gestion efficace de la sécurité des communications de groupe pour le service SSM
000617 (2004) Martin Abadi [États-Unis] ; Veronique Cortier [France]Deciding knowledge in security protocols under equational theories
000649 (2003) Guy De Fontguyon [France] ; Eric Giraud-Heraud [France] ; Larnia Rouached [France] ; Louis-Georges Soler [France]Qualité des produits alimentaires et marques de filières
000714 (2003) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis]Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents
000743 (2002) Olivier Festor [France] ; Guillaume Doyen [France] ; Emmanuel Nataf [France]Supervision et réseaux P2P
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

List of associated Author.i

Nombre de
documents		Descripteur
4Mathieu Turuani
4Yannick Chevalier
3Bogdan Warinschi
3Isabelle Chrisment
3Olivier Festor
3Véronique Cortier
2Ghassan Chaddoud
2Laurent Vigneron
2Martin Abadi
2Mathieu Baudet
2Michaël Rusinowitch
2Steve Kremer
1A. Armando
1Alessandro Armando
1Andre Schaff
1André Schaff
1Anis Charfi
1Ante Derek
1Anupam Datta
1Ch. Lauter
1D. Basin
1D. Von Oheimb
1David Basin
1Emmanuel Nataf
1Eric Giraud-Heraud
1Farah Bellaaj
1Guillaume Doyen
1Guy De Fontguyon
1Henny B. Sipma
1J. Cuellar
1J. Harrison
1J. Mantovani
1J. Santiago
1John C. Mitchell
1Joris Rehm
1L. Compagna
1L. Vigano
1L. Vigneron
1Larnia Rouached
1Louis-Georges Soler
1Luca Compagna
1Luca Vigano
1M. Joldes
1M. Rusinowitch
1M. Turuani
1Mehdi Bouallagui
1Michael Rusinowitch
1Mohamed Salah Bouassida
1O. Kouchnarenko
1P. C. Heam
1P. Hankes Drielsma
1Radu State
1Rafik Bouaziz
1Ralf Kusters
1Ralf Küsters
1S. Chevillard
1S. Mödersheim
1SAMEH HBAIEB TURKI
1Sebastian Mödersheim
1TING ZHANG
1Tomasz Truderung
1Veronique Cortier
1Vijay Varadharajan
1Vincent Cridlig
1Vitaly Shmatikov
1Y. Boichut
1Y. Chevalier
1Zohar Manna

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 "Sécurité" 

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