E-LIB Suche - Ergebnisse für: Sisto, Riccardo

1

Automating VPN Configuration in Computer Networks:

Bringhenti, Daniele ; Sisto, Riccardo ; Valenza, Fulvio
IEEE Transactions on Dependable and Secure Computing. , 2024

Link: https://doi.org/10.1109/..

2

A Two-Fold Traffic Flow Model for Network Security Manageme..:

Bringhenti, Daniele ; Bussa, Simone ; Sisto, Riccardo.
IEEE Transactions on Network and Service Management. , 2024

Link: https://doi.org/10.1109/..

3

An intent-based solution for network isolation in Kubernete:

, In: 2024 IEEE 10th International Conference on Network Softwarization (NetSoft),

Pizzato, Francesco ; Bringhenti, Daniele ; Sisto, Riccardo. - p. 381-386 , 2024

Link: https://doi.org/10.1109/..

4

Automatic and optimized firewall reconfiguration:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,

Pizzato, Francesco ; Bringhenti, Daniele ; Sisto, Riccardo. - p. 1-9 , 2024

Link: https://doi.org/10.1109/..

5

Security Automation in next-generation Networks and Cloud e..:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,

Pizzato, Francesco ; Bringhenti, Daniele ; Sisto, Riccardo. - p. 1-4 , 2024

Link: https://doi.org/10.1109/..

6

Formal Verification of the FDO Protocol:

, In: 2023 IEEE Conference on Standards for Communications and Networking (CSCN),

Bussa, Simone ; Sisto, Riccardo ; Valenza, Fulvio - p. 290-295 , 2023

Link: https://doi.org/10.1109/..

7

Towards Security Automation in Virtual Networks:

, In: 2023 IEEE 9th International Conference on Network Softwarization (NetSoft),

Bringhenti, Daniele ; Sisto, Riccardo ; Valenza, Fulvio - p. 326-331 , 2023

Link: https://doi.org/10.1109/..

8

Automation for Network Security Configuration: State of the..:

Bringhenti, Daniele ; Marchetto, Guido ; Sisto, Riccardo.
ACM Computing Surveys. 56 (2023) 3 - p. 1-37 , 2023

Link: https://doi.org/10.1145/..

9

Automated Firewall Configuration in Virtual Networks:

Bringhenti, Daniele ; Marchetto, Guido ; Sisto, Riccardo..
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 2 - p. 1559-1576 , 2023

Link: https://doi.org/10.1109/..

10

Formal Verification of a V2X Privacy Preserving Scheme Usin..:

, In: 2023 IEEE International Conference on Cyber Security and Resilience (CSR),

Bussa, Simone ; Sisto, Riccardo ; Valenza, Fulvio - p. 341-346 , 2023

Link: https://doi.org/10.1109/..

11

Security automation for multi-cluster orchestration in Kube..:

, In: 2023 IEEE 9th International Conference on Network Softwarization (NetSoft),

Bringhenti, Daniele ; Sisto, Riccardo ; Valenza, Fulvio - p. 480-485 , 2023

Link: https://doi.org/10.1109/..

12

A novel abstraction for security configuration in virtual n..:

Bringhenti, Daniele ; Sisto, Riccardo ; Valenza, Fulvio
Computer Networks. 228 (2023) - p. 109745 , 2023

Link: https://doi.org/10.1016/..

13

A demonstration of VEREFOO: an automated framework for virt..:

, In: 2023 IEEE 9th International Conference on Network Softwarization (NetSoft),

Bringhenti, Daniele ; Sisto, Riccardo ; Valenza, Fulvio - p. 293-295 , 2023

Link: https://doi.org/10.1109/..

14

Automating the configuration of firewalls and channel prote..:

, In: 2023 IEEE 9th International Conference on Network Softwarization (NetSoft),

Bringhenti, Daniele ; Sisto, Riccardo ; Valenza, Fulvio - p. 474-479 , 2023

Link: https://doi.org/10.1109/..

15

Automatic, verifiable and optimized policy-based security e..:

Bringhenti, Daniele ; Yusupov, Jalolliddin ; Zarca, Alejandro Molina...
Computer Networks. 213 (2022) - p. 109123 , 2022

Link: https://doi.org/10.1016/..