PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.876
EU - Europa 4.791
AS - Asia 1.938
SA - Sud America 140
AF - Africa 32
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 16.780
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.825
GB - Regno Unito 1.108
DE - Germania 962
FR - Francia 879
IT - Italia 852
SG - Singapore 808
CN - Cina 547
UA - Ucraina 274
RU - Federazione Russa 152
TR - Turchia 141
BR - Brasile 119
KR - Corea 108
IE - Irlanda 91
HK - Hong Kong 88
NL - Olanda 84
SE - Svezia 70
CH - Svizzera 69
FI - Finlandia 59
BE - Belgio 53
AT - Austria 52
IN - India 49
VN - Vietnam 39
CA - Canada 35
JP - Giappone 34
MY - Malesia 31
IL - Israele 24
ID - Indonesia 19
PL - Polonia 14
AR - Argentina 9
DK - Danimarca 9
SN - Senegal 9
TW - Taiwan 9
CZ - Repubblica Ceca 8
IR - Iran 8
ZA - Sudafrica 8
RO - Romania 7
ES - Italia 6
IQ - Iraq 6
MX - Messico 6
BD - Bangladesh 5
EE - Estonia 5
JO - Giordania 5
KZ - Kazakistan 5
PT - Portogallo 5
CL - Cile 4
GH - Ghana 4
LT - Lituania 4
MA - Marocco 4
PA - Panama 4
SA - Arabia Saudita 4
UZ - Uzbekistan 4
EG - Egitto 3
EU - Europa 3
KE - Kenya 3
PK - Pakistan 3
TH - Thailandia 3
AE - Emirati Arabi Uniti 2
AP - ???statistics.table.value.countryCode.AP??? 2
AU - Australia 2
AZ - Azerbaigian 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
HR - Croazia 2
HU - Ungheria 2
KG - Kirghizistan 2
LC - Santa Lucia 2
OM - Oman 2
PH - Filippine 2
VE - Venezuela 2
AL - Albania 1
BG - Bulgaria 1
BY - Bielorussia 1
CO - Colombia 1
EC - Ecuador 1
GT - Guatemala 1
GY - Guiana 1
MM - Myanmar 1
NO - Norvegia 1
NP - Nepal 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
SC - Seychelles 1
TT - Trinidad e Tobago 1
Totale 16.780
Salva come PNG Salva come JPEG
Città #
Ashburn 4.033
Boardman 1.569
Southend 995
Seattle 583
Fairfield 432
Singapore 428
Chandler 292
Fremont 282
Woodbridge 242
Ann Arbor 223
Houston 208
Cambridge 181
Wilmington 164
Turin 145
Jacksonville 133
Princeton 126
Santa Clara 112
Beijing 111
Izmir 91
Dublin 87
San Ramon 78
Berlin 77
Milan 75
Chicago 72
Bern 63
Des Moines 62
Hong Kong 59
Torino 59
Bologna 56
Brussels 50
Helsinki 49
Vienna 46
Dallas 43
San Donato Milanese 42
Buffalo 40
Council Bluffs 39
Seoul 39
Shanghai 39
Zhengzhou 39
Tongling 34
Lecce 33
Pennsylvania Furnace 33
Baltimore 32
Los Angeles 32
Istanbul 31
Overberg 31
Saint Petersburg 30
San Francisco 29
Frankfurt 26
Amsterdam 25
Guangzhou 25
Monopoli 24
Kwai Chung 21
Mountain View 21
London 19
Munich 18
Frankfurt am Main 17
Padua 16
San Diego 16
Toronto 16
Hangzhou 15
Tokyo 15
Zaporozhye 15
Falls Church 14
Hefei 14
New York 14
Norwalk 14
Moscow 13
North Bergen 13
Taramani 13
Jakarta 12
Malatya 12
Overland Park 12
Redondo Beach 12
Rome 12
Columbus 11
Naples 11
São Paulo 11
Jerusalem 10
Wuhan 10
Andover 9
Hanoi 9
Ho Chi Minh City 9
Las Vegas 9
San Jose 9
Imola 8
Kansas City 8
Kiev 8
Osaka 8
San Antonio 8
Trecate 8
Cangzhou 7
Modena 7
Nuremberg 7
Paris 7
Redwood City 7
Shaoxing 7
Yubileyny 7
Belo Horizonte 6
Borgosesia 6
Totale 12.400
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 736
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 732
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 706
A new knowledge representation strategy for cryptographic protocol analysis 698
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 588
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 567
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 557
Tools for cryptographic protocols analysis: A technical and experimental comparison 556
Detecting Chains of Vulnerabilities in Industrial Networks 551
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 542
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 525
An Express Model for the Description of Fieldbus Devices 520
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 518
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 492
Improving the Security of Industrial Networks by means of Formal Verification 489
System-Level Performance of an Automation Solution Based on Industry Standards 481
Exploiting symmetries for testing equivalence verification in the SPI calculus 474
Formal Specification and Verification of the Real-time Scheduler in FIP 464
A LOTOS Specification of the SERCOS Field-bus Protocol 449
Implementation of Static Semantic Analysis of LOTOS Specifications 449
A Model for the Analysis of Security Policies in Industrial Networks 377
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 372
Esercizi di Fondamenti di Informatica 364
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 361
Leveraging SDN To Improve Security in Industrial Networks 358
A Static Semantic Analyzer for LOTOS Specifications 352
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 345
Automatic testing equivalence verification of spi calculus specifications 344
A Unified Class Model for Checking Security Policies in ICT Infrastructures 328
Graphic LOTOS specification of an EN50254 system 295
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 295
Dynamic Data Management in STEP 272
Communication Service and Protocol Specification using Object Oriented Analysis 269
On the Analysis of Vulnerability Chains in Industrial Networks 268
A Model for the Analysis of Security Policies in Service Function Chains 260
A comprehensive approach to the automatic refinement and verification of access control policies 235
Real Time Systems Specification and Object Oriented Analysis 214
Toward attribute-based access control policy in industrial networked systems 159
On the performance of the IEC 61158 Fieldbus 97
Review of Security Issues in Industrial Networks 93
On the description of access control policies in networked industrial systems 80
Standard field bus networks for industrial applications 71
Totale 16.903
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.570
article - articoli 9.812
book - libri 838
conference - conferenze 26.920
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 75.140
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021458 0 0 0 0 0 98 46 125 40 73 50 26
2021/2022631 28 40 15 36 54 54 29 29 43 62 113 128
2022/2023858 88 139 45 86 66 120 98 38 76 4 30 68
2023/2024307 18 59 61 5 26 16 9 8 7 5 24 69
2024/20251.386 83 177 61 221 70 62 72 107 186 40 100 207
2025/20261.077 186 117 158 257 248 111 0 0 0 0 0 0
Totale 16.903