.:. Browse > List by subject > Cryptography and Security .:.

247 documents ordered by : Date Title first author name document type Submit date

... 19 - 20 - 21 - 22 - 23 - 24 - 25

Efficient Clustering for Multicast Key Distribution in MANETs Bouassida M. S., Chrisment I., Festor O. Dans NETWORKING 2005: 4th International IFIP-TC6 Networking Conference 3462/3-540-25809-4 (2005) pages 138-153 [inria-00000595 - version 1]

Virologie informatique Kaczmarek M. (2005) [inria-00176232 - version 1]

Vérifier les protocoles cryptographiques Cortier V. Techniques et Sciences Informatiquess (2005) [inria-00108376 - version 1]

Analysis of Contract Signing Protocols Turuani M. Dans CriSis (2005) [inria-00104132 - version 1]

An NP Decision Procedure for Protocol Insecurity with XOR Chevalier Y., Küsters R., Rusinowitch M., Turuani M. Theoretical Computer Science 338, 1-3 (2005) 247-274 [inria-00103807 - version 1]

Probabilistic Polynomial-time Semantics for a Protocol Security Logic Datta A., Derek A., Mitchell J. C., Shmatikov V., Turuani M. Dans 32nd International Colloquium on Automata, Languages and Programming - ICALP 2005 3580 (2005) 16--29 [inria-00103654 - version 1]

Compositional Analysis of Contract Signing Protocols Backes M., Datta A., Derek A., Mitchell J. C., Turuani M. Dans 18th IEEE Computer Security Foundations Workshop - CSFW 2005 (2005) 94-110 [inria-00103647 - version 1]

Adaptation de l'architecture AAA aux réseaux ad hoc Grandmougin X. N° Rapport de DEA (2005) [inria-00000603 - version 1]

L2.5 SAFECAST : Spécification du système global - Intégration des services de sécurité au protocole de gestion de clés - Chridi N., Fontan B., Mota S. N° projet RNRT SAFECAST (2005) [inria-00000789 - version 1]

Study for Automatically Analysing Non-repudiation Santos Santiago J., Vigneron L. Dans 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005 (2005) 157--171 [inria-00000607 - version 1]