( en | de | ru )

 

Disambiguierung von "Chevalier, Yannick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An intruder model for trust negotiation.

, , und . CRiSIS, Seite 1-8. IEEE Computer Society, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marco Chevalier

Pauline Chevalier

Johannes Chevalier

Sarah Chevalier

Yannick Zakowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and verification of a mobile robot based on the integrated model of cyber-Physical systems., , , und . Simul. Model. Pract. Theory, (2020)ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection., , , , und . IDC, Volume 868 von Studies in Computational Intelligence, Seite 495-504. Springer, (2019)Automatic Composition of Services with Security Policies., , und . SERVICES I, Seite 529-537. IEEE Computer Society, (2008)Hierarchical Combination of Intruder Theories., und . RTA, Volume 4098 von Lecture Notes in Computer Science, Seite 108-122. Springer, (2006)Decidability of Deterministic Process Equivalence for Finitary Deduction Systems., und . PDP, Seite 441-444. IEEE, (2020)A Symbolic Intruder Model for Hash-Collision Attacks., und . ASIAN, Volume 4435 von Lecture Notes in Computer Science, Seite 13-27. Springer, (2006)Key Substitution in the Symbolic Analysis of Cryptographic Protocols., und . FSTTCS, Volume 4855 von Lecture Notes in Computer Science, Seite 121-132. Springer, (2007)A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment., , und . CRiSIS, Seite 3-11. IEEE, (2009)An intruder model for trust negotiation., , und . CRiSIS, Seite 1-8. IEEE Computer Society, (2010)Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems., , , und . NTMS, Seite 1-5. IEEE, (2019)