PORTO @ Archivio Istituzionale della Ricerca

VALENZA, FULVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.035
EU - Europa 7.640
AS - Asia 6.312
SA - Sud America 505
AF - Africa 112
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 3
Totale 22.622
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.848
IT - Italia 3.683
SG - Singapore 1.739
VN - Vietnam 1.582
CN - Cina 1.115
GB - Regno Unito 990
RU - Federazione Russa 712
FR - Francia 595
DE - Germania 565
HK - Hong Kong 519
BR - Brasile 401
KR - Corea 324
IN - India 179
FI - Finlandia 168
BD - Bangladesh 161
BE - Belgio 156
TR - Turchia 143
UA - Ucraina 137
IE - Irlanda 127
CA - Canada 115
ID - Indonesia 84
PT - Portogallo 84
JP - Giappone 70
AT - Austria 68
NL - Olanda 68
CH - Svizzera 67
PH - Filippine 54
TW - Taiwan 51
SE - Svezia 48
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 25
GR - Grecia 21
EC - Ecuador 20
JO - Giordania 19
ZA - Sudafrica 19
MY - Malesia 18
SA - Arabia Saudita 18
BG - Bulgaria 15
CO - Colombia 15
CZ - Repubblica Ceca 13
PL - Polonia 13
TN - Tunisia 12
AU - Australia 10
DZ - Algeria 10
MA - Marocco 9
RO - Romania 9
CL - Cile 8
PE - Perù 8
UY - Uruguay 8
AL - Albania 7
CR - Costa Rica 7
CY - Cipro 7
JM - Giamaica 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
BY - Bielorussia 6
CI - Costa d'Avorio 6
ET - Etiopia 6
HN - Honduras 6
LT - Lituania 6
PR - Porto Rico 6
DK - Danimarca 5
HR - Croazia 5
KE - Kenya 5
NZ - Nuova Zelanda 5
SV - El Salvador 5
GE - Georgia 4
KZ - Kazakistan 4
LB - Libano 4
ML - Mali 4
NP - Nepal 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
BS - Bahamas 2
HU - Ungheria 2
KH - Cambogia 2
LY - Libia 2
MT - Malta 2
NO - Norvegia 2
PA - Panama 2
SC - Seychelles 2
SY - Repubblica araba siriana 2
AI - Anguilla 1
AO - Angola 1
Totale 22.599
Salva come PNG Salva come JPEG
Città #
Turin 1.288
Singapore 1.080
Ashburn 953
Southend 817
San Jose 526
Dallas 450
Hong Kong 450
Ho Chi Minh City 405
Chandler 399
Hanoi 387
Boardman 385
Torino 372
Milan 364
Santa Clara 228
Council Bluffs 221
Seoul 216
Ann Arbor 208
Hefei 192
Beijing 185
Los Angeles 178
Houston 177
Seattle 153
Brussels 151
Fairfield 148
Princeton 142
Rome 142
Woodbridge 127
Dublin 122
Moscow 110
Wilmington 108
Helsinki 105
New York 103
Berlin 91
Lisbon 78
Lauterbourg 73
Tongling 69
Istanbul 65
Da Nang 64
Haiphong 64
Jakarta 64
Izmir 61
Cambridge 59
Fremont 56
Vienna 55
Venaria Reale 50
Bern 49
Buffalo 49
Jacksonville 49
Figino 46
Frankfurt am Main 45
Lappeenranta 44
San Ramon 39
Toronto 38
Nuremberg 36
San Donato Milanese 36
Tokyo 36
Amsterdam 35
Des Moines 34
São Paulo 33
Falls Church 31
Palermo 30
Genoa 27
Savigliano 27
Chicago 24
Alessandria 23
Shanghai 23
Columbus 21
London 21
The Dalles 21
Bologna 20
Hangzhou 20
Padova 20
Redondo Beach 20
Brooklyn 19
Hải Dương 19
Baghdad 18
Bangkok 18
Naples 18
Tashkent 18
Alpignano 17
Cangzhou 17
Livorno Ferraris 16
Nanjing 16
Orem 16
Piscataway 16
Biên Hòa 15
Islamabad 15
Miami 15
Montreal 15
Munich 15
Redwood City 15
Tel Aviv 15
Washington 15
Zhengzhou 15
Atlanta 14
Barcelona 14
Montréal 14
Rio de Janeiro 14
Yubileyny 14
Biella 13
Totale 13.064
Salva come PNG Salva come JPEG
Nome #
Modelling and Analysis of Network Security Policies 728
A Formal Model of Network Policy Analysis 662
A formal approach for network security policy validation 650
Towards the Dynamic Provision of Virtualized Security Services 613
Inter-function anomaly analysis for correct SDN/NFV deployment 561
A novel approach for integrating security policy enforcement with dynamic network virtualization 553
Classification and analysis of communication protection policy anomalies 549
Inter-technology conflict analysis for communication protection policies 525
Leveraging SDN To Improve Security in Industrial Networks 473
Automated firewall configuration in virtual networks 459
Automatic discovery of software attacks via backward reasoning 450
Assessing network authorization policies via reachability analysis 433
Adding Support for Automatic Enforcement of Security Policies in NFV Networks 420
Online and offline security policy assessment 416
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 387
(User-friendly) formal requirements verification in the context of ISO26262 366
Towards a fully automated and optimized network security functions orchestration 357
On the impossibility of effectively using likely-invariants for software attestation purposes 347
Securing SOME/IP for In-Vehicle Service Protection 341
Automatic and optimized firewall reconfiguration 341
Autonomous attack mitigation through firewall reconfiguration 331
A Model for the Analysis of Security Policies in Service Function Chains 330
Automation for network security configuration: state of the art and research trends 324
A comprehensive approach to the automatic refinement and verification of access control policies 324
Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions 313
Automated optimal firewall orchestration and configuration in virtualized networks 313
Improving the formal verification of reachability policies in virtualized networks 310
Toward Cybersecurity Personalization in Smart Homes 308
A novel abstraction for security configuration in virtual networks 294
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols 293
An intent-based solution for network isolation in Kubernetes 282
Automating VPN Configuration in Computer Networks 282
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks 278
Atomizing Firewall Policies for Anomaly Analysis and Resolution 271
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks 266
A novel approach for security function graph configuration and deployment 264
A demonstration of a network isolation solution for the computing continuum 259
Introducing programmability and automation in the synthesis of virtual firewall rules 257
A demonstration of VEREFOO: an automated framework for virtual firewall configuration 249
Security Automation in next-generation Networks and Cloud environments 248
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware 246
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks 246
An optimized firewall anomaly resolution 239
User-oriented Network Security Policy Specification 236
Formally specifying and checking policies and anomalies in service function chaining 235
Toward attribute-based access control policy in industrial networked systems 233
A twofold model for VNF embedding and time-sensitive network flow scheduling 233
A Two-Fold Traffic Flow Model for Network Security Management 228
Optimizing distributed firewall reconfiguration transients 227
Perfezionamenti nella trasmissione di dati o messaggi a bordo di un veicolo mediante un protocollo di comunicazione SOME/IP 227
A looping process for cyberattack mitigation 225
Improvements in the transmission of data or messages on board a vehicle by means of a SOME/IP communication protocol 220
Security automation for multi-cluster orchestration in Kubernetes 217
Intent-driven network isolation for the cloud computing continuum 215
Design and implementation of a tool to improve error reporting for eBPF code 204
Formal verification of the FDO protocol 204
A Framework for Verification-Oriented User-Friendly Network Function Modeling 203
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif 201
Analysis of the eBPF Vulnerabilities in the Linux Kernel 200
Towards Security Automation in Virtual Networks 196
Adaptive, Agile and Automated Cybersecurity Management 194
Automated Security Management for Virtual Services 194
Automating the configuration of firewalls and channel protection systems in virtual networks 193
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems 192
Security Automation using Traffic Flow Modeling 191
GreenShield: Optimizing Firewall Configuration for Sustainable Networks 186
A demonstration of an autonomous approach for cyberattack mitigation 183
An Optimized Approach for Assisted Firewall Anomaly Resolution 182
Toward the Optimization of Automated VPN Configuration 181
Formal verification of a V2X scheme mixing traditional PKI and group signatures 180
Toward a Query-Driven Approach for Formal Verification of Cloud Security Configuration 148
A hybrid threat model for smart systems 139
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 137
Automatic Firewalls’ Configuration Using Argumentation Reasoning 121
Homogeneous Control of Security Functions via Cross-Domain Delegation 120
Guest Editors Introduction: Special Section on Recent Advances in Network Security Management 116
Toward Correctness by Construction for Network Security Configuration 114
Formal models for threat analysis in next-generation networks 100
Next Generation of Hybrid Threats 89
GreenShield-E2C: A Sustainable Energy-Aware Firewall Configuration Mechanism for Edge-to-Cloud Continuum 76
Toward Risk-driven Cybersecurity Management for Virtual Networks 62
Improving Web Protection in Virtual Networks with Automatic WAF Configuration 53
Securing the Cloud Continuum: a communication management perspective 49
A Comparative Study of Authorisation Mechanisms in Kubernetes-Based Service Platforms 29
Totale 23.230
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.987
article - articoli 27.306
book - libri 0
conference - conferenze 24.977
curatela - curatele 0
other - altro 0
patent - brevetti 1.357
selected - selezionate 0
volume - volumi 1.927
Totale 112.554
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.018 54 70 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/2027188 188 0 0 0 0 0 0 0 0 0 0 0
Totale 23.230