PORTO @ Archivio Istituzionale della Ricerca

VALENZA, FULVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.974
EU - Europa 7.782
AS - Asia 6.394
Continente sconosciuto - Info sul continente non disponibili 626
SA - Sud America 507
AF - Africa 113
OC - Oceania 21
Totale 24.417
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.754
IT - Italia 3.774
SG - Singapore 1.753
VN - Vietnam 1.584
CN - Cina 1.118
GB - Regno Unito 991
RU - Federazione Russa 712
FR - Francia 598
DE - Germania 568
HK - Hong Kong 521
BR - Brasile 402
KR - Corea 326
IN - India 193
BD - Bangladesh 186
FI - Finlandia 170
BE - Belgio 157
TR - Turchia 145
UA - Ucraina 137
CA - Canada 129
IE - Irlanda 127
PT - Portogallo 87
ID - Indonesia 84
SE - Svezia 79
JP - Giappone 76
NL - Olanda 71
AT - Austria 69
CH - Svizzera 67
PH - Filippine 58
TW - Taiwan 51
ES - Italia 41
TH - Thailandia 41
IQ - Iraq 37
AR - Argentina 36
PK - Pakistan 33
UZ - Uzbekistan 32
IL - Israele 31
MX - Messico 28
EG - Egitto 27
IR - Iran 26
EC - Ecuador 21
GR - Grecia 21
JO - Giordania 20
MY - Malesia 19
SA - Arabia Saudita 19
ZA - Sudafrica 19
AU - Australia 16
BG - Bulgaria 15
CO - Colombia 15
CR - Costa Rica 15
PL - Polonia 15
CZ - Repubblica Ceca 13
JM - Giamaica 13
TN - Tunisia 12
DZ - Algeria 10
MA - Marocco 9
RO - Romania 9
CL - Cile 8
PE - Perù 8
UY - Uruguay 8
AL - Albania 7
CY - Cipro 7
HN - Honduras 7
PR - Porto Rico 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
BY - Bielorussia 6
CI - Costa d'Avorio 6
ET - Etiopia 6
KE - Kenya 6
LT - Lituania 6
SV - El Salvador 6
DK - Danimarca 5
HR - Croazia 5
NP - Nepal 5
NZ - Nuova Zelanda 5
GE - Georgia 4
KZ - Kazakistan 4
LB - Libano 4
ML - Mali 4
AZ - Azerbaigian 3
EE - Estonia 3
KG - Kirghizistan 3
LU - Lussemburgo 3
LV - Lettonia 3
NG - Nigeria 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BA - Bosnia-Erzegovina 2
BH - Bahrain 2
BS - Bahamas 2
HU - Ungheria 2
KH - Cambogia 2
LY - Libia 2
MM - Myanmar 2
MT - Malta 2
NI - Nicaragua 2
NO - Norvegia 2
PA - Panama 2
SC - Seychelles 2
Totale 23.767
Salva come PNG Salva come JPEG
Città #
Turin 1.311
Singapore 1.082
Ashburn 970
Southend 817
San Jose 545
Dallas 458
Hong Kong 452
Ho Chi Minh City 407
Chandler 399
Hanoi 387
Boardman 386
Torino 372
Milan 367
Council Bluffs 256
Santa Clara 236
Seoul 218
Ann Arbor 208
Hefei 192
Beijing 185
Los Angeles 185
Houston 177
Seattle 155
Brussels 151
Fairfield 149
Rome 149
Princeton 142
Woodbridge 127
Dublin 122
Wilmington 113
Moscow 110
New York 108
Helsinki 105
Berlin 91
Lisbon 78
Lauterbourg 73
Tongling 69
Istanbul 65
Da Nang 64
Haiphong 64
Jakarta 64
Izmir 61
Cambridge 59
Fremont 56
Vienna 56
Buffalo 51
Venaria Reale 50
Bern 49
Jacksonville 49
Frankfurt am Main 48
Figino 46
Lappeenranta 44
Tokyo 42
San Ramon 39
Toronto 39
Amsterdam 36
Nuremberg 36
San Donato Milanese 36
Des Moines 34
São Paulo 33
Genoa 32
Falls Church 31
Palermo 31
Chicago 27
Savigliano 27
Columbus 26
Shanghai 24
Alessandria 23
The Dalles 23
Brooklyn 21
London 21
Bologna 20
Hangzhou 20
Padova 20
Redondo Beach 20
Hải Dương 19
Montreal 19
Phoenix 19
Baghdad 18
Bangkok 18
Naples 18
Tashkent 18
Alpignano 17
Cangzhou 17
Miami 17
Chennai 16
Livorno Ferraris 16
Nanjing 16
Orem 16
Piscataway 16
Biên Hòa 15
Islamabad 15
Munich 15
Redwood City 15
Tel Aviv 15
Washington 15
Zhengzhou 15
Atlanta 14
Barcelona 14
Montréal 14
Rio de Janeiro 14
Totale 13.260
Salva come PNG Salva come JPEG
Nome #
Modelling and Analysis of Network Security Policies 766
A Formal Model of Network Policy Analysis 684
A formal approach for network security policy validation 677
Towards the Dynamic Provision of Virtualized Security Services 631
Inter-function anomaly analysis for correct SDN/NFV deployment 577
A novel approach for integrating security policy enforcement with dynamic network virtualization 575
Classification and analysis of communication protection policy anomalies 570
Inter-technology conflict analysis for communication protection policies 542
Leveraging SDN To Improve Security in Industrial Networks 492
Automated firewall configuration in virtual networks 489
Automatic discovery of software attacks via backward reasoning 467
Assessing network authorization policies via reachability analysis 455
Online and offline security policy assessment 433
Adding Support for Automatic Enforcement of Security Policies in NFV Networks 426
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 406
Towards a fully automated and optimized network security functions orchestration 375
(User-friendly) formal requirements verification in the context of ISO26262 366
Automatic and optimized firewall reconfiguration 365
On the impossibility of effectively using likely-invariants for software attestation purposes 363
Automation for network security configuration: state of the art and research trends 354
Autonomous attack mitigation through firewall reconfiguration 353
A Model for the Analysis of Security Policies in Service Function Chains 350
Securing SOME/IP for In-Vehicle Service Protection 348
Improving the formal verification of reachability policies in virtualized networks 337
A comprehensive approach to the automatic refinement and verification of access control policies 335
Automated optimal firewall orchestration and configuration in virtualized networks 330
Toward Cybersecurity Personalization in Smart Homes 330
Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions 325
A novel abstraction for security configuration in virtual networks 322
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols 316
An intent-based solution for network isolation in Kubernetes 296
Automating VPN Configuration in Computer Networks 292
Atomizing Firewall Policies for Anomaly Analysis and Resolution 283
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks 283
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks 283
Introducing programmability and automation in the synthesis of virtual firewall rules 280
A novel approach for security function graph configuration and deployment 280
A demonstration of VEREFOO: an automated framework for virtual firewall configuration 266
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks 265
A demonstration of a network isolation solution for the computing continuum 262
User-oriented Network Security Policy Specification 257
Security Automation in next-generation Networks and Cloud environments 251
A twofold model for VNF embedding and time-sensitive network flow scheduling 251
Toward attribute-based access control policy in industrial networked systems 250
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware 248
Optimizing distributed firewall reconfiguration transients 247
Perfezionamenti nella trasmissione di dati o messaggi a bordo di un veicolo mediante un protocollo di comunicazione SOME/IP 244
Formally specifying and checking policies and anomalies in service function chaining 244
An optimized firewall anomaly resolution 239
Security automation for multi-cluster orchestration in Kubernetes 235
A Two-Fold Traffic Flow Model for Network Security Management 234
Intent-driven network isolation for the cloud computing continuum 229
A looping process for cyberattack mitigation 228
Improvements in the transmission of data or messages on board a vehicle by means of a SOME/IP communication protocol 220
Towards Security Automation in Virtual Networks 218
GreenShield: Optimizing Firewall Configuration for Sustainable Networks 215
An Optimized Approach for Assisted Firewall Anomaly Resolution 213
A Framework for Verification-Oriented User-Friendly Network Function Modeling 213
Design and implementation of a tool to improve error reporting for eBPF code 212
Analysis of the eBPF Vulnerabilities in the Linux Kernel 211
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems 211
Automating the configuration of firewalls and channel protection systems in virtual networks 210
Formal verification of the FDO protocol 209
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif 202
Adaptive, Agile and Automated Cybersecurity Management 199
Automated Security Management for Virtual Services 195
Security Automation using Traffic Flow Modeling 194
Toward the Optimization of Automated VPN Configuration 188
A demonstration of an autonomous approach for cyberattack mitigation 188
Formal verification of a V2X scheme mixing traditional PKI and group signatures 183
Toward a Query-Driven Approach for Formal Verification of Cloud Security Configuration 168
A hybrid threat model for smart systems 140
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems 139
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning 138
Homogeneous Control of Security Functions via Cross-Domain Delegation 129
Automatic Firewalls’ Configuration Using Argumentation Reasoning 123
Toward Correctness by Construction for Network Security Configuration 121
Formal models for threat analysis in next-generation networks 121
Guest Editors Introduction: Special Section on Recent Advances in Network Security Management 118
Toward Risk-driven Cybersecurity Management for Virtual Networks 92
Next Generation of Hybrid Threats 90
GreenShield-E2C: A Sustainable Energy-Aware Firewall Configuration Mechanism for Edge-to-Cloud Continuum 82
Improving Web Protection in Virtual Networks with Automatic WAF Configuration 62
Securing the Cloud Continuum: a communication management perspective 58
A Comparative Study of Authorisation Mechanisms in Kubernetes-Based Service Platforms 38
Improving error messages for eBPF programs 11
Totale 24.417
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.904
article - articoli 29.144
book - libri 0
conference - conferenze 26.824
curatela - curatele 0
other - altro 0
patent - brevetti 1.424
selected - selezionate 0
volume - volumi 2.028
Totale 120.324
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022894 0 0 85 65 74 57 44 48 86 87 167 181
2022/20231.533 122 206 90 174 178 162 100 79 133 58 93 138
2023/20241.127 44 130 99 95 96 111 79 102 59 64 78 170
2024/20253.738 53 320 190 390 204 269 408 515 411 232 340 406
2025/202610.254 485 324 698 770 583 418 1.139 851 1.818 1.232 869 1.067
2026/20271.375 669 593 113 0 0 0 0 0 0 0 0 0
Totale 24.417