( en | de | ru )

 

Disambiguierung von "Bodei, Chiara"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Firewall Management With FireWall Synthesizer.

, , , , , und . ITASEC, Volume 2058 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)

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.

George Bodeit

Simone Bodeit

Chiara Manfletti

Chiara Ott

Chiara Simeoni

 

Weitere Publikationen von Autoren mit dem selben Namen

A static analysis for Brane Calculi providing global occurrence counting information., , , , , und . Theor. Comput. Sci., (2017)True Concurrency via Abstract Interpretation., und . SAS, Volume 1302 von Lecture Notes in Computer Science, Seite 202-216. Springer, (1997)Authentication Primitives for Protocol Specifications., , , und . PaCT, Volume 2763 von Lecture Notes in Computer Science, Seite 49-65. Springer, (2003)Revealing the Trajectories of KLAIM Tuples, Statically., , , und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 437-454. Springer, (2019)Security Metrics at Work on the Things in IoT Systems., , , und . From Lambda Calculus to Cybersecurity Through Program Analysis, Volume 12065 von Lecture Notes in Computer Science, Seite 233-255. Springer, (2020)Securing Automotive Ethernet: Design and Implementation of Security Data Link Solutions., , und . AICCSA, Seite 1-9. IEEE, (2023)A Flat Process Calculus for Nested Membrane Interactions., , , und . Sci. Ann. Comput. Sci., 24 (1): 91-136 (2014)Checking global usage of resources handled with local policies., , und . Sci. Comput. Program., (2017)A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols., , , und . ASIAN, Volume 4846 von Lecture Notes in Computer Science, Seite 150-165. Springer, (2007)A Formal Analysis of Complex Type Flaw Attacks on Security Protocols., , und . AMAST, Volume 5140 von Lecture Notes in Computer Science, Seite 167-183. Springer, (2008)