1. Recherche
135 résultats  enregistrer la recherche
inria-00100411v1  Communication dans un congrès
Michael Rusinowitch, Mathieu Turuani. Protocol Insecurity with Finite Number of Sessions is NP-complete
14th IEEE Computer Security Foundations Workshop, Jun 2001, Cape Breton, Nova Scotia, Canada, IEEE Computer Society, 14 p, 2001, <10.1109/CSFW.2001.930145>
inria-00100265v1  Rapport
Jean-François Leroy, Vincent Cridlig. RADIUS-Based SNMP Authorisation
[Stage] A04-R-122 || leroy04a, 2004, 50 p
inria-00100414v1  Communication dans un congrès
Michael Rusinowitch. The practice of cryptographic protocols verification
CAV Workshop on Logical Aspects of Cryptographic Protocols Verification, 2001, Paris, France, 1 p, 2001, ENTCS
inria-00100139v1  Communication dans un congrès
Vincent Cridlig, Radu State, Olivier Festor. Role-Based Access Control for XML Enabled Management Gateways
Akhil Sahai and Felix Wu. 15th IFIP/IEEE Distributed Systems: Operations and Management - DSOM 2004, 2004, Davis, CA, USA, Springer, 3278, pp.183-195, 2004, Lecture notes in Computer Science
inria-00100257v1  Communication dans un congrès
Mohamed Salah Bouassida, Isabelle Chrisment, Olivier Festor. An Enhanced Hybrid Key Management Protocol for Secure Multicast in Ad Hoc Networks
N. Mitrou and K. Kontovasilis and G.N. Rouskas. Third International IFIP-TC6 Networking conference - NETWORKING 2004, 2004, Athènes, Grèce, Springer-Verlag, 3042, pp.725-742, 2004, Lecture Notes in Computer Science
inria-00100447v1  Communication dans un congrès
Ghassan Chaddoud, Isabelle Chrisment, André Schaff. Dynamic Group communication Security
The 6th IEEE Symposium on Computers and Communications - ISCC'01, Jul 2001, Hammamet, Tunisia, 9 p, 2001
...
inria-00073576v1  Rapport
Christophe Bidan, Valérie Issarny. Security Benefits from Software Architecture
[Research Report] RR-3114, INRIA. 1997
...
inria-00073555v1  Rapport
Tommy Thorn. Programming Languages for Mobile Code
[Research Report] RR-3134, INRIA. 1997
...
tel-00877033v1  Thèse
Ismail Mansour. Contribution à la sécurité des communications des réseaux de capteurs sans fil
Autre [cs.OH]. Université Blaise Pascal - Clermont-Ferrand II, 2013. Français. <NNT : 2013CLF22364>
...
inria-00107839v1  Rapport
Chaddoud Ghassan, Chrisment Isabelle, Schaff André. Vers une communication de groupe sécurisée : état de l'art et perspectives
[Interne] 99-R-244 || ghassan99a, 1999, 19 p
...
hal-00709229v1  Communication dans un congrès
Amina Souag, Camille Salinesi, Isabelle Wattiau. Ontologies for Security Requirements: A Literature Survey and Classification
The 2nd International Workshop on Information Systems Security Engineering WISSE'12 in conjunction with the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12), Jun 2012, Gdansk, Poland. pp.1-8, 2012
...
inria-00107868v1  Rapport
Vladimir Nemchenko. Génération des séquences de test pour les protocoles de sécurité dans IPv6
[Interne] A00-R-450 || nemchenko00a, 2000, 16 p
...
inria-00107681v1  Rapport
Vincent Cridlig, Jacques Guyard. Formalisation et évaluation des politiques de sécurité et de respect de la vie privée en ELAN
[Stage] A03-R-204 || cridlig03a, 2003, 54 p
...
inria-00107808v1  Rapport
Vincent Cridlig, Radu State, Olivier Festor. Secure XML-based Network Management in a Multi-source Context
[Intern report] A04-R-080 || cridlig04a, 2004, 12 p
...
inria-00107781v1  Communication dans un congrès
Mohamed Salah Bouassida, Isabelle Chrisment, Olivier Festor. Méthodes d'Authentification pour les Communications de Groupes : Taxonomie et Evaluation dans un environnement Ad Hoc
3ème Conférence sur la Sécurité et Architectures Réseaux - SAR'2004, 2004, La Londe, Côte d'Azur, France, pp.197-208, 2004
...
hal-00709970v1  Pré-publication, Document de travail
Amina Souag, Camille Salinesi, Isabelle Wattiau. Ontologies for Security Requirements: A Literature Survey and Classification (long version)
2012
...
inria-00099883v1  Cours
Abdelmadjid Bouabdallah, Isabelle Chrisment. IP Multicast Security
2004
inria-00099161v1  Communication dans un congrès
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols
Michel Parigot, Andrei Voronkov. International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, Springer-Verlag, 1955, pp.131-160, 2000, Lecture Notes in Computer Science
...
inria-00099069v1  Communication dans un congrès
Ghassan Chaddoud, Isabelle Chrisment, André Schaff. Baal : Sécurisation des communications de groupes dynamiques
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2000, Oct 2000, Toulouse, France, 15 p, 2000
...
inria-00099068v1  Communication dans un congrès
Ghassan Chaddoud, Isabelle Chrisment, André Schaff. Secure Multicasting Survey
World Computer Congres 2000, Aug 2000, Trente, Italie, 4 p, 2000
...
tel-00961233v1  Thèse
Tobias René Mayer. Achieving collaboration in distributed systems deployed over selfish peers
Other [cs.OH]. INSA de Lyon, 2013. English. <NNT : 2013ISAL0083>
...
tel-01124335v1  Thèse
Nicolas Friot. Itérations chaotiques pour la sécurité de l'information dissimulée
Autre [cs.OH]. Université de Franche-Comté, 2014. Français. <NNT : 2014BESA2035>
...
tel-00939091v1  Thèse
Gustavo Daniel Gonzalez Granadillo. Optimization of cost-based threat response for Security Information and Event Management (SIEM) systems
Other [cs.OH]. Institut National des Télécommunications, 2013. English. <NNT : 2013TELE0033>
...
tel-00942606v1  Thèse
Pejman Attar. Towards a safe and secure synchronous language
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. <NNT : 2013NICE4148>
...
tel-00929836v1  Thèse
Adel Ziani. Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES)
Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2013. English. <NNT : 2013TOU20074>
...
hal-00864300v1  Communication dans un congrès
Amina Souag, Camille Salinesi, Isabelle Wattiau, Haralambos Mouratidis. Using Security and Domain ontologies for Security Requirements Analysis
The 8th IEEE International Workshop on Security, Trust and Privacy for Software Applications in conjunction with COMPSAC, the IEEE Signature Conference on Computers, Software & Application., Jul 2013, Kyoto, Japan. pp.1-7, 2013
inria-00100979v1  Rapport
Ahmed Ait Ali. Sécurité pour l'informatique ambiante
[Stage] A02-R-463 || ait_ali_02a, 2002

Contact


archive-ouverte@inria.fr