Zobrazeno 1 - 10 of 17 pro vyhledávání: '"Protocoles de sécurité"'
1
Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques
Autor: Puys, Maxime
Publikováno v: Cryptographie et sécurité [cs.CR]. Communauté Université Grenoble-Alpes, 2018. Français
Industrial systems, also called SCADA (for Supervisory Control And Data Acquisition), are targeted by cyberattacks since Stuxnet in 2010. Due to the criticality of their interaction with the real world, these systems can be really harmful for humans
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::d75f3e75c19791fcbcb47a98b95162a2
https://tel.archives-ouvertes.fr/tel-01827270/document
Zobrazit plný text záznamu
2
Cybersecurity of Industrial Systems: Applicative Filtering and Generation of Attack Scenarios
Autor: Puys, Maxime
Publikováno v: Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM009⟩
Cryptographie et sécurité [cs.CR]. Communauté Université Grenoble-Alpes, 2018. Français
Industrial systems, also called SCADA (for Supervisory Control And Data Acquisition), are targeted by cyberattacks since Stuxnet in 2010. Due to the criticality of their interaction with the real world, these systems can be really harmful for humans
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58e2c0c1001cf45255543bdf94bb4ea0
https://theses.hal.science/tel-01893142
Zobrazit plný text záznamu
3
Dissertation/ Thesis
Vérification automatique de la protection de la vie privée : entre théorie et pratique
Autor: Hirschi, Lucca
La société de l’information dans laquelle nous vivons repose notamment sur notre capacité à échanger des informations de façon sécurisée. Ces échanges sécurisés sont réalisés au moyen de protocoles cryptographiques. Ils explicitent com
Externí odkaz: http://www.theses.fr/2017SACLN019/document
Zobrazit plný text záznamu
4
Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice
Autor: Hirschi, Lucca
Publikováno v: Cryptography and Security [cs.CR]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLN019⟩
The information society we belong to heavily relies on secure information exchanges. To exchange information securely, one should use security protocols that specify how communicating agents should behave notably by using cryptographic primitives (e.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::486ab743d564583215cf05e9c3e8b50d
https://tel.archives-ouvertes.fr/tel-01534145/document
Zobrazit plný text záznamu
5
Vérification automatique de la protection de la vie privée : entre théorie et pratique
Autor: Lucca Hirschi
Publikováno v: Cryptography and Security [cs.CR]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLN019⟩
Lucca Hirschi
The information society we belong to heavily relies on secure information exchanges. To exchange information securely, one should use security protocols that specify how communicating agents should behave notably by using cryptographic primitives (e.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::63264df65257eb3c9a23920af4f019e5
https://tel.archives-ouvertes.fr/tel-01534145/document
Zobrazit plný text záznamu
6
Dissertation/ Thesis
Lightweight security protocols for IP-based Wireless Sensor Networks and the Internet of Things
Autor: Nguyen, Kim Thuat
L'Internet des Objets (IdO) permet à des milliards de dispositifs informatiques embarqués de se connecter les uns aux autres. Les objets concernés couvrent la plupart de nos appareils de la vie quotidienne, tels que les thermostats, les réfrigér
Externí odkaz: http://www.theses.fr/2016TELE0025/document
Zobrazit plný text záznamu
7
Protocoles de sécurité efficaces pour les réseaux de capteurs IP sans-fil et l'Internet des Objets
Autor: Nguyen, Kim Thuat
Publikováno v: Networking and Internet Architecture [cs.NI]. Institut National des Télécommunications, 2016. English. ⟨NNT : 2016TELE0025⟩
The Internet of Things (IoT) enables billions of embedded computing devices to connect to each other. The smart things cover our everyday friendly devices, such as, thermostats, fridges, ovens, washing machines, and TV sets. It is easy to imagine how
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2107075c70ed8ad990fe190bb85fdf7f
https://theses.hal.science/tel-01454962
Zobrazit plný text záznamu
8
Dissertation/ Thesis
Infrastructure de gestion de la confiance sur internet
Autor: Vu, Van-Hoan
L'établissement de la confiance est un problème qui se pose en permanence dans la vie quotidienne. Nous avons toujours besoin d'évaluer la confiance que l'on a en quelqu'un avant de décider d'entreprendre une action avec. Il s'agit bien évidemme
Externí odkaz: http://www.theses.fr/2010EMSE0585/document
Zobrazit plný text záznamu
9
Trust management infrastructure for internet
Autor: Vu, Van-Hoan
Publikováno v: Autre. Ecole Nationale Supérieure des Mines de Saint-Etienne, 2010. Français. ⟨NNT : 2010EMSE0585⟩
Trust establishment is an important problem which often arises everyday. We need to assess the trust in someone or something before making decisions on their actions. It is also a very important problem for Internet applications where participants of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3d7b4ebbb4ae43994598a85fbe0c0b5
https://theses.hal.science/tel-00611839
Zobrazit plný text záznamu
10
Dissertation/ Thesis
Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert
Autor: Zălinescu, Eugen
Cette thèse se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont représentées par l'obtention de résultats de décidabilité et de transfert dans les directions suivantes qui sont des thèmes majeurs en vérificati
Externí odkaz: http://www.theses.fr/2007NAN10144/document
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje