PORTO @ Archivio Istituzionale della Ricerca

VALENZA, FULVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.452
NA - Nord America 3.339
AS - Asia 580
AF - Africa 21
OC - Oceania 7
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.406
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.280
IT - Italia 2.031
GB - Regno Unito 922
DE - Germania 449
FR - Francia 386
CN - Cina 238
UA - Ucraina 120
IE - Irlanda 105
BE - Belgio 101
FI - Finlandia 73
TR - Turchia 68
CA - Canada 59
CH - Svizzera 57
KR - Corea 50
IN - India 45
HK - Hong Kong 36
SE - Svezia 36
RU - Federazione Russa 31
NL - Olanda 30
AT - Austria 25
SG - Singapore 25
IR - Iran 20
ES - Italia 19
UZ - Uzbekistan 18
JO - Giordania 15
GR - Grecia 12
JP - Giappone 12
BG - Bulgaria 11
TW - Taiwan 10
VN - Vietnam 10
CZ - Repubblica Ceca 9
EG - Egitto 9
MY - Malesia 8
PK - Pakistan 7
RO - Romania 7
CY - Cipro 5
HR - Croazia 5
IL - Israele 5
NZ - Nuova Zelanda 5
SA - Arabia Saudita 5
DK - Danimarca 3
GE - Georgia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AU - Australia 2
CL - Cile 2
DZ - Algeria 2
EE - Estonia 2
ID - Indonesia 2
LU - Lussemburgo 2
LV - Lettonia 2
NG - Nigeria 2
NO - Norvegia 2
SC - Seychelles 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
TN - Tunisia 2
AL - Albania 1
AR - Argentina 1
BD - Bangladesh 1
BR - Brasile 1
CI - Costa d'Avorio 1
CO - Colombia 1
ET - Etiopia 1
EU - Europa 1
KE - Kenya 1
KH - Cambogia 1
LT - Lituania 1
LY - Libia 1
PT - Portogallo 1
Totale 8.406
Salva come PNG Salva come JPEG
Città #
Southend 817
Turin 653
Ashburn 560
Chandler 399
Torino 372
Boardman 257
Ann Arbor 208
Houston 169
Seattle 151
Fairfield 148
Princeton 142
Woodbridge 127
Council Bluffs 122
Wilmington 107
Dublin 103
Brussels 97
Berlin 91
Milan 88
Beijing 83
Izmir 60
Cambridge 59
Fremont 55
Bern 49
Jacksonville 49
Helsinki 47
San Ramon 39
Rome 36
San Donato Milanese 36
Des Moines 32
Falls Church 31
Seoul 27
Lappeenranta 23
Vienna 23
Padova 20
Hangzhou 18
Alpignano 17
Toronto 16
Chicago 15
Redwood City 15
Montréal 14
Nanjing 14
Palermo 14
Washington 14
Shanghai 13
Biella 12
Bremen 12
Dearborn 12
Mcallen 12
Menlo Park 12
Piossasco 12
Zhengzhou 12
Cameri 11
Pinerolo 11
San Antonio 11
Sofia 11
Cervasca 10
Frankfurt 10
Sacramento 10
Venaria Reale 10
Zaporozhye 10
Amsterdam 9
Bologna 9
Cernusco sul Naviglio 9
Lake Forest 9
Mountain View 9
Norwalk 9
Ottawa 9
Singapore 9
Cuneo 8
Lurate Caccivio 8
San Diego 8
Wuhan 8
Almese 7
Andover 7
Chengdu 7
Cittadella 7
Collegno 7
Genova 7
Gladbeck 7
Hong Kong 7
London 7
Miami 7
Paris 7
Rivoli 7
Saint Petersburg 7
Shenzhen 7
Tashkent 7
Victoria 7
Alessandria 6
Baltimore 6
Beinasco 6
Chennai 6
Guangzhou 6
Hanoi 6
Hebei 6
Jinan 6
Novara 6
Nuremberg 6
San Mateo 6
Stresa 6
Totale 5.896
Salva come PNG Salva come JPEG
Nome #
A Formal Model of Network Policy Analysis 486
A formal approach for network security policy validation 454
Towards the Dynamic Provision of Virtualized Security Services 435
Modelling and Analysis of Network Security Policies 426
Inter-function anomaly analysis for correct SDN/NFV deployment 403
A novel approach for integrating security policy enforcement with dynamic network virtualization 376
Inter-technology conflict analysis for communication protection policies 365
Classification and analysis of communication protection policy anomalies 338
Automatic discovery of software attacks via backward reasoning 314
Assessing network authorization policies via reachability analysis 278
Leveraging SDN To Improve Security in Industrial Networks 271
Online and offline security policy assessment 263
Adding Support for Automatic Enforcement of Security Policies in NFV Networks 232
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 218
A Model for the Analysis of Security Policies in Service Function Chains 205
On the impossibility of effectively using likely-invariants for software attestation purposes 176
Automated firewall configuration in virtual networks 171
Towards a fully automated and optimized network security functions orchestration 161
Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions 155
(User-friendly) formal requirements verification in the context of ISO26262 152
Toward Cybersecurity Personalization in Smart Homes 138
Automated optimal firewall orchestration and configuration in virtualized networks 128
Improving the formal verification of reachability policies in virtualized networks 128
Securing SOME/IP for In-Vehicle Service Protection 127
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks 126
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks 123
A comprehensive approach to the automatic refinement and verification of access control policies 119
Improvements in the transmission of data or messages on board a vehicle by means of a SOME/IP communication protocol 114
A novel approach for security function graph configuration and deployment 108
An optimized firewall anomaly resolution 106
Introducing programmability and automation in the synthesis of virtual firewall rules 102
A Framework for Verification-Oriented User-Friendly Network Function Modeling 101
Perfezionamenti nella trasmissione di dati o messaggi a bordo di un veicolo mediante un protocollo di comunicazione SOME/IP 99
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware 99
User-oriented Network Security Policy Specification 95
Formally specifying and checking policies and anomalies in service function chaining 94
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols 93
Toward attribute-based access control policy in industrial networked systems 88
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks 82
Automation for network security configuration: state of the art and research trends 78
A twofold model for VNF embedding and time-sensitive network flow scheduling 77
Automated Security Management for Virtual Services 76
Security Automation using Traffic Flow Modeling 68
Automatic and optimized firewall reconfiguration 62
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning 58
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems 53
Optimizing distributed firewall reconfiguration transients 51
A novel abstraction for security configuration in virtual networks 49
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems 43
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif 37
A demonstration of VEREFOO: an automated framework for virtual firewall configuration 33
Security automation for multi-cluster orchestration in Kubernetes 33
Formal verification of the FDO protocol 31
Towards Security Automation in Virtual Networks 27
A hybrid threat model for smart systems 23
Automating the configuration of firewalls and channel protection systems in virtual networks 23
An Optimized Approach for Assisted Firewall Anomaly Resolution 20
Automatic Firewalls’ Configuration Using Argumentation Reasoning 17
Guest Editors Introduction: Special Section on Recent Advances in Network Security Management 16
Next Generation of Hybrid Threats 14
Totale 8.838
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.013
article - articoli 10.555
book - libri 0
conference - conferenze 9.070
curatela - curatele 0
other - altro 0
patent - brevetti 613
selected - selezionate 0
volume - volumi 1.009
Totale 43.260
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019239 0 0 0 0 0 0 0 0 0 0 135 104
2019/2020974 69 35 67 104 139 88 75 117 109 48 66 57
2020/20211.356 78 103 86 89 60 131 273 215 72 111 97 41
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/2024915 44 130 99 95 96 111 79 102 59 64 36 0
Totale 8.838