CNR Institutional Research Information System

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.451
NA - Nord America 1.362
EU - Europa 484
SA - Sud America 282
Continente sconosciuto - Info sul continente non disponibili 56
AF - Africa 26
OC - Oceania 2
Totale 3.663
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.306
SG - Singapore 571
CN - Cina 313
HK - Hong Kong 227
BR - Brasile 223
IT - Italia 163
VN - Vietnam 155
NL - Olanda 86
FR - Francia 75
DE - Germania 40
KR - Corea 39
GB - Regno Unito 35
BD - Bangladesh 26
CA - Canada 21
FI - Finlandia 21
ID - Indonesia 21
IN - India 21
AR - Argentina 18
JP - Giappone 16
EC - Ecuador 12
MX - Messico 12
TR - Turchia 10
ZA - Sudafrica 10
AT - Austria 9
CO - Colombia 8
IE - Irlanda 8
PL - Polonia 8
VE - Venezuela 8
ES - Italia 7
AE - Emirati Arabi Uniti 6
JM - Giamaica 6
GT - Guatemala 5
MY - Malesia 5
SA - Arabia Saudita 5
SE - Svezia 5
UZ - Uzbekistan 5
IL - Israele 4
IQ - Iraq 4
PE - Perù 4
PH - Filippine 4
PY - Paraguay 4
TN - Tunisia 4
DZ - Algeria 3
NI - Nicaragua 3
NP - Nepal 3
PK - Pakistan 3
RU - Federazione Russa 3
SN - Senegal 3
UY - Uruguay 3
AL - Albania 2
AU - Australia 2
BY - Bielorussia 2
DK - Danimarca 2
HN - Honduras 2
HU - Ungheria 2
KE - Kenya 2
MT - Malta 2
TH - Thailandia 2
TW - Taiwan 2
UA - Ucraina 2
AD - Andorra 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
CG - Congo 1
CL - Cile 1
CR - Costa Rica 1
CU - Cuba 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
GE - Georgia 1
GP - Guadalupe 1
GR - Grecia 1
GY - Guiana 1
HR - Croazia 1
JO - Giordania 1
KG - Kirghizistan 1
KN - Saint Kitts e Nevis 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LT - Lituania 1
MA - Marocco 1
MD - Moldavia 1
ME - Montenegro 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PT - Portogallo 1
QA - Qatar 1
RO - Romania 1
SC - Seychelles 1
SI - Slovenia 1
Totale 3.607
Salva come PNG Salva come JPEG
Città #
Santa Clara 431
Singapore 323
Hong Kong 223
San Jose 184
Ashburn 110
Hefei 109
Beijing 66
Lauterbourg 63
Los Angeles 57
Ho Chi Minh City 49
Hanoi 46
Seoul 39
Turin 34
Dallas 33
Buffalo 31
Rende 24
New York 23
São Paulo 23
Milan 19
Frankfurt am Main 15
Council Bluffs 13
Rome 13
Nuremberg 12
Rio de Janeiro 12
Tokyo 10
Brooklyn 9
Dhaka 9
Amsterdam 8
Haiphong 8
Helsinki 8
Orem 8
Atlanta 7
Chennai 7
Chicago 7
Denver 7
Florence 7
Turku 7
Warsaw 7
Belo Horizonte 6
Brasília 6
Da Nang 6
Genoa 6
Guayaquil 6
Houston 6
Hải Dương 6
Johannesburg 6
Kingston 6
Lappeenranta 6
Vienna 6
Curitiba 5
Dublin 5
Fujairah 5
Guatemala City 5
Minamishinagawa 5
Stockholm 5
Tashkent 5
Biên Hòa 4
Boardman 4
Boston 4
Carapicuíba 4
Düsseldorf 4
Jakarta 4
Manaus 4
Miami 4
Montreal 4
Naples 4
Poplar 4
San Francisco 4
Santo André 4
The Dalles 4
Tunis 4
Washington 4
Baghdad 3
Belém 3
Bentonville 3
Camaçari 3
Can Tho 3
Caracas 3
City of London 3
Cleveland 3
Dakar 3
Detroit 3
Georgetown 3
Hortolândia 3
Joinville 3
Livorno 3
London 3
Managua 3
Manchester 3
Mexico City 3
Montevideo 3
Munich 3
Parabiago 3
Philadelphia 3
Phoenix 3
Pittsburgh 3
Portsmouth 3
Queens 3
Quito 3
San Antonio 3
Totale 2.310
Salva come PNG Salva come JPEG
Nome #
A methodological approach to securing cyber-physical systems for critical infrastructures 144
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks 100
Leveraging SDN To Improve Security in Industrial Networks 97
Performance Impact of Commercial Industrial Firewalls on Networked Control Systems 89
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 86
A Model for the Analysis of Security Policies in Service Function Chains 83
Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution 81
Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior* 77
An algorithm for security policy migration in multiple firewall networks 77
A comprehensive approach to the automatic refinement and verification of access control policies 76
Valutazione low-cost di firewall industriali 70
Improving performance and cyber-attack resilience in multi-firewall industrial networks 69
Detection of attacks based on known vulnerabilities in industrial networked systems 69
Standard Fieldbus Networks for Industrial Applications 68
Knowledge Based Modules for Adaptive Distributed Control Systems 68
Distributed Filtering in Industrial Networks 68
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall 65
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 62
A comprehensive approach to the automatic refinement and verification of access control policies 62
Toward attribute-based access control policy in industrial networked systems 56
Tecniche per migliorare le prestazioni di filtraggio del traffico in reti industriali multi-firewall 56
Performance of Firewalls for Industrial Applications 53
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis 52
Analisi di sicurezza system-level per reti industriali 52
Automatic Testing Equivalence Verification of Spi-calculus Specifications 51
Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus 50
Evolution of Standard Fieldbus Networks 49
Dynamic Data Management in STEP 48
Modeling Emergency Response Plans with Coloured Petri Nets 46
Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison 46
Comparison of Adaptive Fairness Control Mechanisms for DQDB Metropolitan Area Networks 45
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 45
SlowROS: Investigating the Possibility to Perpetrate Slow DoS Attacks Against Robot Operating System 45
A Semi-Graphical Modeling Framework for the Automated Analysis of Networked Systems Security 45
On the Description of Access Control Policies in Networked Industrial Systems 44
A twofold model for the analysis of access control policies in industrial networked systems 44
Analysis of Access Control Policies in Networked Embedded Systems: A Case Study 44
Communication Service and Protocol Specification Using Object-Oriented Analysis 43
On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols 42
Security of industrial networks (INS) 42
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study 42
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 42
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems 41
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 41
Review of Security Issues in Industrial Networks 41
A new CAN-like field network based on a star topology 40
A Model for the Analysis of Security Policies in Industrial Networks 40
System-Level Performance of an Automation Solution Based on Industry Standards 40
Improving the Security of Industrial Networks by Means of Formal Verification 40
Implementation of Static Semantic Analysis of LOTOS Specifications 39
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus 39
Object-Oriented Models and Communication Protocols in the Factory 38
Graphic LOTOS Specification of an EN50254 System 37
An Object-Oriented Model for the FIP Protocol 37
Controllo di Accesso in Sistemi Industriali Distribuiti 37
La Cybersecurity delle Reti Industriali 37
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 37
A Static Semantic Analyzer for LOTOS Specifications 36
Real-Time Specifications and Object-Oriented Analysis 36
On the Performance of the IEC 61158 Fieldbus 35
A Unified Class Model for Checking Security Policies in ICT Infrastructures 34
Automated Analysis of Access Policies in Industrial Plants 33
A LOTOS Specification of the SERCOS Fieldbus Protocol 33
System Configuration Check Against Security Policies in Industrial Networks 32
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 31
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts 30
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification 30
A FIP Prototype Network for Numerical Control Applications 28
Intelligent Actuation and Measurement System-Based Modelling: a Case Study 27
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 27
Automatic Analysis of Security Policies in Industrial Networks 27
Formal Specification and Verification of the Real-Time Scheduler in FIP 25
An EXPRESS Model for the Description of Fieldbus Devices 22
Totale 3.663
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.388
article - articoli 5.114
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 430
Totale 18.932
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202418 0 0 0 0 0 0 0 0 4 1 12 1
2024/20251.406 1 8 99 38 409 54 25 79 30 292 153 218
2025/20261.857 77 173 156 320 377 68 272 69 65 127 81 72
2026/2027382 117 70 195 0 0 0 0 0 0 0 0 0
Totale 3.663