Protocole transmission And NotJ. Souquieres
List of bibliographic references
Number of relevant bibliographic references: 31.Ident. | Authors (with country if any) | Title |
---|---|---|
000003 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
000010 | B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000017 | Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
000044 | Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
000073 | Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
000217 | Jérome Francois [France] ; Radu State [France] ; Olivier Festor [France] | Botnets IRC et P2P pour une supervision à large échelle : Supervision et sécurité dans les grands réseaux |
000264 | Inès Mouakher [France] ; Jeanine Souquieres [France] ; Francis Alexandre [France] | Diagnostic et correction d'erreurs de spécifications : Application à l'assemblage de composants |
000343 | Mathieu Turuani [France] | The CL-atse protocol analyser |
000353 | Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
000401 | Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France] | Computationally sound symbolic secrecy in the presence of hash functions |
000426 | Véronique Cortier [France] | Vérifier les protocoles cryptographiques |
000451 | 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 |
000455 | Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
000458 | Tomasz Truderung [France, Pologne] | Regular protocols and attacks with regular knowledge |
000464 | 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 |
000501 | MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | Efficient clustering for multicast key distribution in MANETs |
000507 | Véronique Cortier [France] ; Bogdan Warinschi [États-Unis] | Computationally sound, automated proofs for security protocols |
000508 | Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France] | Computationally sound implementations of equational theories against passive adversaries |
000511 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Combining intruder theories |
000550 | 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 | Martin Abadi [États-Unis] ; Veronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
000628 | MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | An enhanced hybrid key management protocol for secure multicast in ad hoc networks |
000706 | 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 | 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 | 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 | Yannick Chevalier [France] ; Laurent Vigneron [France] | Automated unbounded verification of security protocols |
000876 | YEQIONG SONG [France] | Time constrained communication over switched ethernet |
000905 | B. Gaujal [France] ; N. Navet [France] | Fault confinement mechanisms on CAN: Analysis and improvements |
000907 | Ghassan Chaddoud [France] ; Isabelle Chrisment [France] ; André Schaff [France] | Dynamic group key management protocol |
000988 | M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France] | Mechanical verification of an ideal incremental ABR conformance algorithm |
000A48 | O. Kone [France] ; R. Castanet [France] | Méthodes formelles de test de conformité des protocoles |
This area was generated with Dilib version V0.6.33. |