PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.422
EU - Europa 5.411
AS - Asia 3.106
SA - Sud America 209
Continente sconosciuto - Info sul continente non disponibili 128
AF - Africa 48
OC - Oceania 2
Totale 20.326
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.270
GB - Regno Unito 1.129
IT - Italia 1.047
DE - Germania 981
SG - Singapore 975
FR - Francia 921
CN - Cina 625
VN - Vietnam 618
RU - Federazione Russa 389
UA - Ucraina 275
HK - Hong Kong 195
BR - Brasile 162
TR - Turchia 146
KR - Corea 139
IN - India 95
IE - Irlanda 94
NL - Olanda 94
SE - Svezia 91
CA - Canada 86
CH - Svizzera 71
FI - Finlandia 69
BD - Bangladesh 66
BE - Belgio 54
AT - Austria 52
JP - Giappone 40
PT - Portogallo 36
MY - Malesia 34
TH - Thailandia 29
IL - Israele 25
ID - Indonesia 21
TW - Taiwan 21
AR - Argentina 18
PL - Polonia 18
IQ - Iraq 15
MX - Messico 14
ES - Italia 13
ZA - Sudafrica 12
PH - Filippine 10
RO - Romania 10
SN - Senegal 10
CR - Costa Rica 9
CZ - Repubblica Ceca 9
DK - Danimarca 9
IR - Iran 9
PK - Pakistan 9
EE - Estonia 8
JO - Giordania 8
SA - Arabia Saudita 8
CL - Cile 6
JM - Giamaica 6
KZ - Kazakistan 6
LT - Lituania 6
AE - Emirati Arabi Uniti 5
DZ - Algeria 5
MA - Marocco 5
PR - Porto Rico 5
SV - El Salvador 5
CO - Colombia 4
DO - Repubblica Dominicana 4
EC - Ecuador 4
GH - Ghana 4
PA - Panama 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
UZ - Uzbekistan 4
AL - Albania 3
BO - Bolivia 3
CW - ???statistics.table.value.countryCode.CW??? 3
EG - Egitto 3
EU - Europa 3
GT - Guatemala 3
KE - Kenya 3
KG - Kirghizistan 3
NI - Nicaragua 3
OM - Oman 3
UY - Uruguay 3
VE - Venezuela 3
AP - ???statistics.table.value.countryCode.AP??? 2
AU - Australia 2
AZ - Azerbaigian 2
GP - Guadalupe 2
HN - Honduras 2
HR - Croazia 2
HU - Ungheria 2
LC - Santa Lucia 2
NO - Norvegia 2
NP - Nepal 2
QA - Qatar 2
TN - Tunisia 2
AW - Aruba 1
BG - Bulgaria 1
BY - Bielorussia 1
CY - Cipro 1
DM - Dominica 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
GY - Guiana 1
HT - Haiti 1
IS - Islanda 1
Totale 20.191
Salva come PNG Salva come JPEG
Città #
Ashburn 4.298
Boardman 1.576
Southend 995
Seattle 585
Singapore 561
Fairfield 433
Chandler 292
San Jose 287
Fremont 282
Woodbridge 242
Ann Arbor 223
Houston 208
Turin 187
Cambridge 181
Wilmington 164
Hanoi 152
Hong Kong 144
Ho Chi Minh City 143
Jacksonville 133
Princeton 126
Santa Clara 124
Beijing 115
Milan 111
Chicago 108
Council Bluffs 96
Izmir 91
Dublin 89
Berlin 79
San Ramon 78
Los Angeles 73
Bern 63
Des Moines 62
Seoul 61
Dallas 59
Torino 59
Bologna 58
Helsinki 58
Brussels 51
New York 47
Moscow 46
Vienna 46
Hefei 45
Buffalo 43
San Donato Milanese 42
Shanghai 39
Zhengzhou 39
Baltimore 35
Lisbon 35
Lecce 34
Tongling 34
Pennsylvania Furnace 33
Haiphong 32
Istanbul 32
Lauterbourg 32
Overberg 31
Saint Petersburg 30
San Francisco 30
Amsterdam 28
Frankfurt 26
Frankfurt am Main 26
Guangzhou 25
Toronto 25
Monopoli 24
London 23
Kwai Chung 21
Mountain View 21
Rome 21
Naples 20
Munich 18
Tokyo 18
Da Nang 16
Padua 16
San Diego 16
Hangzhou 15
North Bergen 15
Zaporozhye 15
Bangkok 14
Falls Church 14
Norwalk 14
São Paulo 13
Taramani 13
Jakarta 12
Malatya 12
Overland Park 12
Redondo Beach 12
Columbus 11
Las Vegas 11
Montreal 11
Nuremberg 11
Phoenix 11
Atlanta 10
Jerusalem 10
Kansas City 10
Modena 10
Osaka 10
Wuhan 10
Andover 9
Brooklyn 9
Denver 9
Orem 9
Totale 14.008
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 808
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 801
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 776
A new knowledge representation strategy for cryptographic protocol analysis 775
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 686
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 667
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 664
Tools for cryptographic protocols analysis: A technical and experimental comparison 653
Detecting Chains of Vulnerabilities in Industrial Networks 651
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 650
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 626
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 577
Improving the Security of Industrial Networks by means of Formal Verification 573
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 571
System-Level Performance of an Automation Solution Based on Industry Standards 565
Exploiting symmetries for testing equivalence verification in the SPI calculus 562
An Express Model for the Description of Fieldbus Devices 551
A LOTOS Specification of the SERCOS Field-bus Protocol 546
Formal Specification and Verification of the Real-time Scheduler in FIP 542
Implementation of Static Semantic Analysis of LOTOS Specifications 541
Leveraging SDN To Improve Security in Industrial Networks 516
A Static Semantic Analyzer for LOTOS Specifications 475
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 442
A Model for the Analysis of Security Policies in Industrial Networks 440
Esercizi di Fondamenti di Informatica 433
A Unified Class Model for Checking Security Policies in ICT Infrastructures 430
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 425
Automatic testing equivalence verification of spi calculus specifications 423
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 417
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 408
A Model for the Analysis of Security Policies in Service Function Chains 369
A comprehensive approach to the automatic refinement and verification of access control policies 366
Graphic LOTOS specification of an EN50254 system 333
Dynamic Data Management in STEP 320
On the Analysis of Vulnerability Chains in Industrial Networks 313
Communication Service and Protocol Specification using Object Oriented Analysis 303
Toward attribute-based access control policy in industrial networked systems 281
Real Time Systems Specification and Object Oriented Analysis 239
Review of Security Issues in Industrial Networks 171
On the performance of the IEC 61158 Fieldbus 154
On the description of access control policies in networked industrial systems 153
Standard field bus networks for industrial applications 130
Totale 20.326
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.950
article - articoli 12.105
book - libri 999
conference - conferenze 31.846
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 89.900
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022512 0 0 0 0 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/20263.500 186 117 158 257 248 203 495 348 650 424 174 240
2026/20271.000 185 165 267 372 11 0 0 0 0 0 0 0
Totale 20.326