CNR Institutional Research Information System

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