Publications HAL du labo/EPI LAAS-TSF

2023

Thèse

titre
Protection des données des véhicules connectés : une approche cryptographique reposant sur le chiffrement basé attributs
auteur
Rémi Adelin
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2023. Français. ⟨NNT : 2023ISAT0011⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04206570/file/2023RemiADELIN.pdf BibTex
titre
Adaptation d'Outils Cryptographiques pour un Contexte Post-Quantique
auteur
Cyrius Nugier
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2023. Français. ⟨NNT : 2023ISAT0012⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-04172409/file/2023CyriusNUGIER.pdf BibTex
titre
Wide and Local Area Wireless Network security based on physical layer monitoring
auteur
Florent Galtier
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2023. English. ⟨NNT : 2023TOU30017⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04213675/file/2023TOU30017a.pdf BibTex

2022

Thèse

titre
Uncertainty assessment in safety argument structures – An approach based on Dempster-Shafer Theory
auteur
Yassir Idmessaoud
article
Computer Science [cs]. UPS Toulouse, 2022. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03998600/file/ID%20MESSAOUD%20Yassir%20-%20Version%20finale.pdf BibTex
titre
Uncertainty assessment in safety argument structure : an approach based on Dempster-Shafer theory
auteur
Yassir Idmessaoud
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30263⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04048943/file/2022TOU30263a.pdf BibTex
titre
Détection dynamique d'attaques logicielles et matérielles basée sur l'analyse de signaux microarchitecturaux
auteur
Yuxiao Mao
article
Architectures Matérielles [cs.AR]. INSA de Toulouse, 2022. Français. ⟨NNT : 2022ISAT0015⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03783728/file/2022YuxiaoMAO.pdf BibTex
titre
Prévention des fautes temporelles sur architectures multicœur pour les systèmes à criticité mixte
auteur
Daniel Loche
article
Informatique [cs]. INP DE TOULOUSE, 2022. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03739199/file/LOCHE_Daniel.pdf BibTex
titre
Offensive and defensive approaches for wireless communication protocols security in IoT
auteur
Romain Cayre
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2022. English. ⟨NNT : 2022ISAT0022⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03841305/file/2022RomainCAYRE.pdf BibTex

2021

Thèse

titre
Equilibrage de charge efficace et adaptatif avec contraintes temporelles pour les véhicules connectés
auteur
Jean Ibarz
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2021. Français. ⟨NNT : 2021INPT0123⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04186763/file/IBARZ_Jean.pdf BibTex
titre
Génération et analyse de tests pour les systèmes autonomes
auteur
Clément Robert
article
Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30119⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03591139/file/2021TOU30119b.pdf BibTex
titre
Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés
auteur
Malcolm Bourdon
article
Autre [cs.OH]. INSA de Toulouse, 2021. Français. ⟨NNT : 2021ISAT0027⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03572845/file/2021BourdonMalcolm.pdf BibTex

2020

Thèse

titre
Perception de l'environnement urbain à l'aide d'une flotte de capteurs sur des vélos : application à la pollution de l'air
auteur
Christophe Bertero
article
Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30321⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03700021/file/2020TOU30321b.pdf BibTex
titre
Sécurité par analyse comportementale de fonctions embarquées sur plateformes avioniques modulaires intégrées
auteur
Aliénor Damien
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2020. Français. ⟨NNT : 2020ISAT0001⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02953842/file/2020AlienorDamien.pdf BibTex
titre
Systèmes résilients pour l'automobile: d'une approche à composants à une approche à objets de la tolérance aux fautes adaptatives sur ROS
auteur
Matthieu Amy
article
Systèmes embarqués. Institut National Polytechnique de Toulouse, 2020. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03307919/file/AMY_Matthieu.pdf BibTex

2019

HDR

titre
Capturing Binary Graphs
auteur
Gilles Trédan
article
Computer Science [cs]. Institut National Polytechnique de Toulouse (INPT), 2019
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02298644/file/TREDAN%20Gilles.pdf BibTex

Thèse

titre
Contrôle d'accès dynamique et architecture de sécurité pour la protection des applications sous Android
auteur
Guillaume Averlant
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2019. Français. ⟨NNT : 2019ISAT0026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02440787/file/2019AverlantGuillaume.pdf BibTex
titre
Safety monitoring for autonomous systems : interactive elicitation of safety rules
auteur
Lola Masson
article
Performance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02098246/file/2019TOU30220a.pdf BibTex

2018

HDR

titre
Adaptation dans les systèmes dynamiques : une vision informatique de la résilience
auteur
Matthieu Roy
article
Calcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01801677/file/HDR-roy-2018.pdf BibTex

Thèse

titre
Développement et évaluation d'obfuscations de protocoles basées sur la spécification
auteur
Julien Duchene
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2018. Français. ⟨NNT : 2018ISAT0054⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04026358/file/2018JulienDUCHENE.pdf BibTex
titre
Résilience des systèmes informatiques adaptatifs : modélisation, analyse et quantification
auteur
William Excoffon
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2018. Français. ⟨NNT : 2018INPT0049⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04206509/file/EXCOFFON_William2.pdf BibTex
titre
Test aléatoire de la navigation de robots dans des mondes virtuels
auteur
Thierry Sotiropoulos
article
Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2018. Français. ⟨NNT : 2018TOU30097⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01886631/file/2018TOU30097b.pdf BibTex
titre
Confidence in safety argument - An assessment framework based on belief function theory
auteur
Rui Wang
article
Cryptography and Security [cs.CR]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0013⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01880790/file/2018RuiWANG.pdf BibTex
titre
Privacy-enhancing technologies for ridesharing
auteur
Ulrich Matchi Aïvodji
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2018. English. ⟨NNT : 2018TOU30017⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01735575/file/2018TOU30017b.pdf BibTex

2016

Mémoire d'étudiant

titre
Anomaly Detection in Cloud Applications
auteur
Javier Alcaraz, Mohamed Kaâniche, Carla Sauvanaud
article
Machine Learning [cs.LG]. 2016
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01406168/file/Rapport%20de%20Stage%20Javier%20Alcaraz.pdf BibTex

Thèse

titre
Monitoring et détection d'anomalie par apprentissage dans les infrastructures virtualisées
auteur
Carla Sauvanaud
article
Autre [cs.OH]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0043⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01445648/file/2016SauvanaudCarla.pdf BibTex
titre
Chiffrement homomorphe appliqué au retrait d'information privé
auteur
Joris Barrier
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0041⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01682332/file/2016BarrierJoris.pdf BibTex
titre
Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matériel
auteur
Benoît Morgan
article
Système d'exploitation [cs.OS]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01542490/file/2016benoitmorgan.pdf BibTex
titre
Inférence et modèles de données personnelles : mobilité sociale, proximité spatiale
auteur
Roberto Pasqua
article
Informatique. Université Paul Sabatier - Toulouse III, 2016. Français. ⟨NNT : 2016TOU30195⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01416982/file/2016TOU30195c.pdf BibTex

2015

HDR

titre
Trusting robots : Contributions to dependable autonomous collaborative robotic systems
auteur
Jérémie Guiochet
article
Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015
Accès au texte intégral et bibtex
https://hal.science/tel-01276555/file/mainHDRguiochet.pdf BibTex

Thèse

titre
Évaluation et analyse des mécanismes de sécurité des réseaux dans les infrastructures virtuelles de cloud computing
auteur
Thibaut Probst
article
Systèmes embarqués. INP Toulouse, 2015. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01216609/file/PROBST%20Thibaut_.pdf BibTex
titre
Détection d'intrusion pour des réseaux embarqués automobiles : une approche orientée langage
auteur
Ivan Studnia
article
Informatique [cs]. Institut national des sciences appliquées de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0048⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02043149/file/STUDNIA.pdf https://theses.hal.science/tel-02043149/file/RAVET%20%281%29.pdf https://theses.hal.science/tel-02043149/file/RAVET.pdf BibTex
titre
Sécurité des équipements grand public connectés à Internet : évaluation des liens de communication
auteur
Yann Bachy
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0014⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01195780/file/2015Bachy.pdf BibTex
titre
Privacy-preserving and secure location authentication
auteur
Moussa Traoré
article
Cryptography and Security [cs.CR]. Institut National Polytechnique de Toulouse - INPT, 2015. English. ⟨NNT : 2015INPT0053⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02087888/file/TRAORE_Moussa2.pdf BibTex
titre
From safety analysis to experimental validation by fault injection - Case of automotive embedded systems
auteur
Ludovic Pintard
article
Embedded Systems. Institut National Polytechnique de Toulouse - INPT, 2015. English. ⟨NNT : 2015INPT0052⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01216586/file/PINTARD_Ludovic2.pdf BibTex
titre
Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain
auteur
Quynh Anh Do Hoang
article
Robotique [cs.RO]. Institut National Polytechnique de Toulouse - INPT, 2015. Français. ⟨NNT : 2015INPT0025⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01200728/file/DO%20HOANG.pdf BibTex

2014

Thèse

titre
Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel
auteur
Olivier Baldellon
article
Autre [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2014. Français. ⟨NNT : 2014INPT0098⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02098176/file/BALDELLON_Olivier.pdf BibTex

2013

HDR

titre
CONTRIBUTIONS À LA RÉSILIENCE ET AU RESPECT DE LA VIE PRIVÉE DES SYSTÈMES MOBIQUITAIRES
auteur
Marc-Olivier Killijian
article
Informatique ubiquitaire. Université Paul Sabatier - Toulouse III, 2013
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00849725/file/hdr-marco.pdf BibTex

Thèse

titre
Attaques d'inférence sur des bases de données géolocalisées
auteur
Miguel Nuñez del Prado Cortez
article
Informatique ubiquitaire. INSA de Toulouse, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00926957/file/Inference_attacks_on_geolocated_data_MNPC.pdf BibTex
titre
Architecting Resilient Computing Systems: a Component-Based Approach
auteur
Miruna Stoicescu
article
Ubiquitous Computing. Institut National Polytechnique de Toulouse - INPT, 2013. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01018621/file/STOICESCU.pdf BibTex
titre
Prévention et détection des interférences inter-aspects : méthode et application à l'aspectisation de la tolérance aux fautes
auteur
Jimmy Lauret
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2013. Français. ⟨NNT : 2013INPT0023⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04237894/file/LAURET_Jimmy.pdf BibTex
titre
Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués
auteur
Alexandru Robert Ciprian Guduvan
article
Informatique et langage [cs.CL]. Institut Superieur de L' Aeronautique et de l'Espace, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00842406/file/Une_approche_dirigA_e_par_les_modA_les_pour_le_dA_veloppement_de_tests_pour_systA_mes_avioniques_embarquA_s_-_SynthA_se_version_finale_.pdf BibTex
titre
Aircraft operational reliability - A Model-based approach and case studies
auteur
Kossi Tiassou
article
Logic in Computer Science [cs.LO]. INSA de Toulouse, 2013. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00807442/file/Thesis_Tiassou.pdf BibTex

2012

Thèse

titre
Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques
auteur
Amina Mekki-Mokhtar
article
Autre [cs.OH]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00800859/file/THESE_Amina_MEKKI_MOKHTAR.pdf BibTex
titre
Architecture sécurisée pour les systèmes d'information des avions du futur
auteur
Maxime Lastera
article
Systèmes embarqués. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00938782/file/LASTERA.pdf BibTex
titre
Protection des systèmes informatiques contre les attaques par entrées-sorties
auteur
Fernand Lone Sang
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00863020/file/thesis-fernand-lone-sang.pdf BibTex
titre
Analyse de vulnérabilités et évaluation de systèmes de détection d'intrusions pour les applications Web
auteur
Rim Akrout
article
Informatique et langage [cs.CL]. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00782565/file/PhD_ThesisRimAkrout.pdf BibTex

2011

HDR

titre
Elimination des fautes : contribution au test du logiciel
auteur
Hélène Waeselynck
article
Informatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2011
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00676826/file/HDR-waeselynck.pdf BibTex

Thèse

titre
Test and Evaluation of the Robustness of the Functional Layer of an Autonomous Robot
auteur
Hoang-Nam Chu
article
Robotics [cs.RO]. Institut National Polytechnique de Toulouse - INPT, 2011. English. ⟨NNT : 2011INPT0054⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04238736/file/CHU_Hoang-Nam.pdf BibTex

2010

Thèse

titre
Dependability modelling and evaluation of vehicular applications based on mobile ad-hoc networks. Modélisation et évaluation de la sûreté de fonctionnement d'applications véhiculaires basées sur des réseaux ad-hoc mobiles
auteur
Ossama Hamouda
article
Computer Science [cs]. Université Paul Sabatier - Toulouse III, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00546260/file/these_de_Ossama_HAMOUDA_finale.pdf BibTex
titre
Architectures innovantes de systèmes de commandes de vol
auteur
Manel Sghairi Haouati
article
Système d'exploitation [cs.OS]. Institut National Polytechnique de Toulouse - INPT, 2010. Français. ⟨NNT : 2010INPT0029⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00509156/file/SGHAIRI_HAOUATI_Manel.pdf BibTex

2009

HDR

titre
La protection des systèmes informatiques vis à vis des malveillances
auteur
Vincent Nicomette
article
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2009
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00450536/file/hdr.pdf BibTex

Thèse

titre
Sécurité des noyaux de systèmes d'exploitation
auteur
Eric Lacombe
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00462534/file/these-eric_lacombe.pdf BibTex
titre
Robustesse du logiciel embarqué multicouche par une approche réflexive: application à l'automobile
auteur
Caroline Lu
article
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00468924/file/Manuscrit_These.final.pdf BibTex
titre
Evaluation quantitative de la sécurité informatique : approche par les vulnérabilités
auteur
Géraldine Vache Marconato
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00462530/file/Binder-FINAL.pdf BibTex
titre
Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique
auteur
Youssef Laarouchi
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00468923/file/Manuscrit_Youssef_Laarouchi.pdf BibTex
titre
Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios
auteur
Minh Duc Nguyen
article
Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00459848/file/TheseMinhDucNguyenVersionFinale.pdf BibTex
titre
Controle d'accès pour les grandes infrastructures critiques. Application au réseau d'énergie électrique.
auteur
Amine Baïna
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00432841/file/these_amine_baina_2009_CNRS.pdf BibTex
titre
Détection d'erreur au plus tôt dans les systèmes temps réel : une approche basée sur la vérification en ligne
auteur
Thomas Robert
article
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00420480/file/These_-_Thomas_ROBERT.pdf BibTex

2008

Thèse

titre
Evaluation des systèmes de détection d'intrusion
auteur
Mohammed Gad El Rab
article
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2008. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00366690/file/20090209-memoire-GAD-final.pdf BibTex
titre
Fault tolerance through self-configuration in the future nanoscale multiprocessors
auteur
Piotr Zajac
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2008. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00340508/file/Zajac.PhDThesis.pdf BibTex

2007

Thèse

titre
Observation, caractérisation et modélisation de processus d'attaques sur Internet
auteur
Eric Alata
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00280126/file/THESE_ERIC_ALATA_TSF.pdf BibTex
titre
Sauvegarde coopérative de données pour dispositifs mobiles
auteur
Ludovic Courtès
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00196822/file/phd-thesis.fr_en.pdf BibTex
titre
Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
auteur
Ana-Elena Rugina
article
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00207502/file/RuginaPhDThesis.pdf BibTex
titre
Tolérance aux fautes dans les systèmes autonomes
auteur
Benjamin Lussier
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00172161/file/these-lussier07.pdf BibTex

2006

Thèse

titre
Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services Web
auteur
Nicolas Salatge
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00135748/file/manuscrit.pdf BibTex
titre
Les communications anonymes à faible latence
auteur
Carlos Aguilar Melchor
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00110313/file/these_commsanonymesfaiblelatence.pdf BibTex

2005

Thèse

titre
Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes
auteur
Anis Youssef
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00111808/file/these_Anis_YOUSSEF.pdf BibTex
titre
Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards
auteur
Taha Bennani
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00009746/file/tel-00009746.pdf BibTex
titre
Caractérisation de systèmes d'exploitation en présence de pilotes défaillants
auteur
Arnaud Albinet
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010056/file/tel-00010056.pdf BibTex
titre
Conception et réalisation d'une architecture tolérant les intrusions pour des serveurs internet
auteur
Ayda Saidane
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00009600/file/tel-00009600.pdf BibTex

2004

Thèse

titre
Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel
auteur
Eric Marsden
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2004. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010938/file/tel-00010938.pdf BibTex
titre
La réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes
auteur
François Taïani
article
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010940/file/tel-00010940.pdf BibTex

2003

Thèse

titre
MODÈLES ET POLITIQUES DE SECURITE POUR LES DOMAINES DE LA SANTE ET DES AFFAIRES SOCIALES
auteur
Anas Abou El Kalam
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2003. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00012162/file/TheseAnas.pdf BibTex

2000

Thèse

titre
Tolérance aux fautes sur CORBA par protocole à métaobjets et langages réflexifs
auteur
Marc-Olivier Killijian
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2000. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00131879/file/theseMOK.pdf BibTex

1999

HDR

titre
Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
auteur
Mohamed Kaâniche
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00142168/file/HDR_Mohamed_KAANICHE.pdf BibTex

1998

Thèse

titre
Évaluation quantitative de la sécurité des systèmes d’information
auteur
Rodolphe Ortalo
article
Cryptographie et sécurité [cs.CR]. INP DE TOULOUSE, 1998. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01115455/file/these_Rodolphe_ORTALO.pdf BibTex

1996

Thèse

titre
La protection dans les systèmes à objets répartis
auteur
Vincent Nicomette
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00175252/file/Nicomette.pdf BibTex
titre
Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile
auteur
Christian Ziegler
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00139873/file/Ziegler.pdf BibTex

1994

Thèse

titre
Vers une évaluation quantitative de la sécurité informatique
auteur
Marc Dacier
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1994. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00012022/file/these-dacier.pdf BibTex

1992

Thèse

titre
Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement
auteur
Mohamed Kaâniche
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00142181/file/these_Mohamed_KAANICHE.pdf BibTex