Archivio Istituzionale della RicercaBUSSA, SIMONE
BUSSA, SIMONE
Dipartimento di Automatica e Informatica
091347
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.005 secondi).
A Two-Fold Traffic Flow Model for Network Security Management
2024 Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif
2023 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Formal verification of the FDO protocol
2023 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Zero touch privacy preserving provisioning in an Edge-, Fog, and Cloud environment
2023 Schermann, Raphael; Bussa, Simone; Urian, Rainer; Steger, Christian
Security Automation using Traffic Flow Modeling
2022 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Two-Fold Traffic Flow Model for Network Security Management / Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 21:4(2024), pp. 3740-3758. [10.1109/TNSM.2024.3407159] | 1-gen-2024 | Bringhenti, DanieleBussa, SimoneSisto, RiccardoValenza, Fulvio | TNSM_Accepted_Manuscript.pdf; TNSM2024_vor.pdf |
| Formal Verification of a V2X Privacy Preserving Scheme Using Proverif / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 341-346. (Intervento presentato al convegno 2023 IEEE International Conference on Cyber Security and Resilience (CSR) tenutosi a Venice (IT) nel 31 July 2023 - 02 August 2023) [10.1109/CSR57506.2023.10224908]. | 1-gen-2023 | Bussa, SimoneSisto, RiccardoValenza, Fulvio | 92_simone_bussa_Camera_Ready (1).pdf; Formal_Verification_of_a_V2X_Privacy_Preserving_Scheme_Using_Proverif.pdf |
| Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 290-295. (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023) tenutosi a Munich (DEU) nel 06-08 November 2023) [10.1109/CSCN60443.2023.10453172]. | 1-gen-2023 | Simone BussaRiccardo SistoFulvio Valenza | FDO_verification_pre_cameraready.pdf; Formal_Verification_of_the_FDO_Protocol.pdf |
| Zero touch privacy preserving provisioning in an Edge-, Fog, and Cloud environment / Schermann, Raphael; Bussa, Simone; Urian, Rainer; Steger, Christian. - (2023), pp. 276-283. (Intervento presentato al convegno IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2023) tenutosi a Tartu (Estonia) nel 18-20 September 2023) [10.1109/FMEC59375.2023.10305878]. | 1-gen-2023 | Simone, Bussa + | FMEC_Raphael.pdf; Zero-_Touch_Privacy_Preserving_Provisioning_in_an_Edge-_Fog-_and_Cloud_Environment.pdf |
| Security Automation using Traffic Flow Modeling / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2022), pp. 486-491. (Intervento presentato al convegno IEEE 8th International Conference on Network Softwarization (NetSoft 2022 ) tenutosi a Milano) [10.1109/NetSoft54395.2022.9844025]. | 1-gen-2022 | Bussa, SimoneSisto, RiccardoValenza, Fulvio | Security_Automation_using_Traffic_Flow_Modeling.pdf; a80-bussa final.pdf |