نتائج البحث

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

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

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é 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é 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 ;

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

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

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

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 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 of IoT Systems using Attack Trees ; Analyse de sécurité de systèmes IoT à l’aide d’arbres d’attaques

• Authors : Beaulaton, Delphine;

Subjects: Arbres d’attaque; Statistical model checking; Attack trees

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

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⟩.

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