نتائج البحث

Sicherheitsanalyse im Straßengüterverkehr ; Safety analysis of goods traffic ; Analyse de securite pour le transport routier de marchandises

• Authors : Grandel, Jürgen; Berg, F. Alexander; Niewöhner, Walter

تفاصيل العنوان

E-Periodica

تفاصيل العنوان

Analyse de sécurité des box ADSL

• Authors : Bachy, Yann; Nicomette, Vincent; Alata, Eric ...

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-ES]Computer Science [cs]/Embedded Systems; [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Rennes; France

• Source: SSTIC ; Symposium sur la sécurité des technologies de l’information et des communications ; https://hal.science/hal-01178496 ;

تفاصيل العنوان

Analyse de sécurité de systèmes autonomes: formalisation et évaluation en Event-B

• Authors : Chaudemar, Jean-Charles; Bensana, Eric; Seguin, Christel ...

Subjects: Modélisation et simulation; Architectures Matérielles; Méthodes formelles

تفاصيل العنوان

Transferable e-cash: an analysis in the Algebraic Group Model ; Monnaies numériques transférables: une analyse de sécurité dans le modèle du groupe algébrique

• Authors : Bauer, Balthazar;

Subjects: Generic Group Model; Signatures on equivalence classes; Uber assumption

• Source: https://hal.inria.fr/tel-03086982 ; Cryptography and Security [cs.CR]. ED 386 : École doctorale de sciences mathématiques de Paris

تفاصيل العنوان

Système expert pour l'analyse de sécurité d'un réseau de transport d'énergie électrique

• Authors : Tinguely, Christian

تفاصيل العنوان

Security Analysis of IoT Systems using Attack Trees ; Analyse de sécurité de systèmes IoT à l’aide d’arbres d’attaques

• Authors : Beaulaton, Delphine;

Subjects: Statistical model checking; Attack trees; Internet of Things

• Source: https://theses.hal.science/tel-02893847 ; Ubiquitous Computing. Université de Bretagne Sud, 2019. English. ⟨NNT : 2019LORIS548⟩.

تفاصيل العنوان

Security Analysis and Access Control Enforcement through Software Defined Networks ; Analyse de sécurité et renforcement de control d’accès à travers les réseaux programmables

• Authors : Zerkane, Salaheddine;

Subjects: Access Control; Software Defined Networks; Cyber security

• Source: https://theses.hal.science/tel-02081080 ; Cryptography and Security [cs.CR]. Université de Bretagne occidentale - Brest, 2018. English. ⟨NNT : 2018BRES0057⟩.

تفاصيل العنوان

Environnement pour l'analyse de sécurité d'objets communicants ; Approaches for analyzing security properties of smart objects

• Authors : Lugou, Florian;

Subjects: Modélisation; Sécurité des systèmes; Vérification formelle

تفاصيل العنوان

Hardware support for the security analysis of embedded softwares : applications on information flow control and malware analysis ; Support matériel pour l'analyse de sécurité du comportement des applications : application au contrôle de flux d'information et à l'analyse des logiciels malveillants

• Authors : Wahab, Muhammad Abdul;

Subjects: FPGA; Security; Embedded systems

• Source: https://theses.hal.science/tel-02634340 ; Hardware Architecture [cs.AR]. CentraleSupélec, 2018. English. ⟨NNT : 2018CSUP0003⟩.

تفاصيل العنوان