PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.562
EU - Europa 5.270
AS - Asia 3.041
SA - Sud America 185
AF - Africa 48
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 19.109
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.487
GB - Regno Unito 1.120
DE - Germania 979
SG - Singapore 964
IT - Italia 951
FR - Francia 920
CN - Cina 625
VN - Vietnam 616
RU - Federazione Russa 389
UA - Ucraina 274
HK - Hong Kong 195
BR - Brasile 146
TR - Turchia 143
KR - Corea 139
IN - India 95
NL - Olanda 94
IE - Irlanda 93
CH - Svizzera 71
SE - Svezia 71
FI - Finlandia 69
BE - Belgio 53
AT - Austria 52
CA - Canada 47
JP - Giappone 39
PT - Portogallo 36
MY - Malesia 32
TH - Thailandia 29
BD - Bangladesh 26
IL - Israele 25
ID - Indonesia 21
TW - Taiwan 20
PL - Polonia 18
AR - Argentina 16
IQ - Iraq 15
MX - Messico 13
ZA - Sudafrica 12
PH - Filippine 10
SN - Senegal 10
DK - Danimarca 9
ES - Italia 9
CZ - Repubblica Ceca 8
IR - Iran 8
JO - Giordania 8
PK - Pakistan 8
RO - Romania 8
SA - Arabia Saudita 7
EE - Estonia 6
KZ - Kazakistan 6
LT - Lituania 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
DZ - Algeria 5
MA - Marocco 5
GH - Ghana 4
PA - Panama 4
PY - Paraguay 4
UZ - Uzbekistan 4
BO - Bolivia 3
DO - Repubblica Dominicana 3
EG - Egitto 3
EU - Europa 3
KE - Kenya 3
KG - Kirghizistan 3
OM - Oman 3
VE - Venezuela 3
AL - Albania 2
AP - ???statistics.table.value.countryCode.AP??? 2
AU - Australia 2
AZ - Azerbaigian 2
CO - Colombia 2
EC - Ecuador 2
HR - Croazia 2
HU - Ungheria 2
JM - Giamaica 2
LC - Santa Lucia 2
NO - Norvegia 2
NP - Nepal 2
TN - Tunisia 2
UY - Uruguay 2
BG - Bulgaria 1
BY - Bielorussia 1
CY - Cipro 1
DM - Dominica 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
HT - Haiti 1
IS - Islanda 1
LB - Libano 1
LV - Lettonia 1
MM - Myanmar 1
MN - Mongolia 1
MU - Mauritius 1
PE - Perù 1
PS - Palestinian Territory 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
Totale 19.107
Salva come PNG Salva come JPEG
Città #
Ashburn 4.112
Boardman 1.575
Southend 995
Seattle 584
Singapore 559
Fairfield 432
Chandler 292
Fremont 282
San Jose 257
Woodbridge 242
Ann Arbor 223
Houston 208
Turin 186
Cambridge 181
Wilmington 164
Hanoi 151
Hong Kong 144
Ho Chi Minh City 143
Jacksonville 133
Princeton 126
Santa Clara 119
Beijing 115
Izmir 91
Dublin 89
Milan 85
Berlin 78
San Ramon 78
Chicago 74
Los Angeles 68
Bern 63
Des Moines 62
Seoul 61
Torino 59
Bologna 58
Helsinki 58
Brussels 50
Dallas 48
Moscow 46
Vienna 46
Hefei 45
Council Bluffs 44
New York 43
San Donato Milanese 42
Buffalo 41
Shanghai 39
Zhengzhou 39
Lisbon 35
Baltimore 34
Tongling 34
Lecce 33
Pennsylvania Furnace 33
Haiphong 32
Istanbul 32
Lauterbourg 32
Overberg 31
Saint Petersburg 30
San Francisco 30
Amsterdam 28
Frankfurt 26
Frankfurt am Main 25
Guangzhou 25
Monopoli 24
London 23
Toronto 23
Kwai Chung 21
Mountain View 21
Munich 18
Rome 18
Tokyo 17
Da Nang 16
Naples 16
Padua 16
San Diego 16
Hangzhou 15
Zaporozhye 15
Bangkok 14
Falls Church 14
Norwalk 14
North Bergen 13
São Paulo 13
Taramani 13
Jakarta 12
Malatya 12
Overland Park 12
Redondo Beach 12
Columbus 11
Nuremberg 11
Jerusalem 10
Las Vegas 10
Modena 10
Osaka 10
Wuhan 10
Andover 9
Atlanta 8
Imola 8
Kansas City 8
Kiev 8
Orem 8
Paris 8
San Antonio 8
Totale 13.615
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 784
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 783
A new knowledge representation strategy for cryptographic protocol analysis 760
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 756
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 661
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 637
Tools for cryptographic protocols analysis: A technical and experimental comparison 636
Detecting Chains of Vulnerabilities in Industrial Networks 628
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 624
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 609
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 600
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 566
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 559
Improving the Security of Industrial Networks by means of Formal Verification 550
An Express Model for the Description of Fieldbus Devices 541
System-Level Performance of an Automation Solution Based on Industry Standards 540
Exploiting symmetries for testing equivalence verification in the SPI calculus 535
Formal Specification and Verification of the Real-time Scheduler in FIP 511
Implementation of Static Semantic Analysis of LOTOS Specifications 500
A LOTOS Specification of the SERCOS Field-bus Protocol 499
Leveraging SDN To Improve Security in Industrial Networks 464
A Static Semantic Analyzer for LOTOS Specifications 430
A Model for the Analysis of Security Policies in Industrial Networks 423
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 423
Esercizi di Fondamenti di Informatica 414
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 403
Automatic testing equivalence verification of spi calculus specifications 398
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 398
A Unified Class Model for Checking Security Policies in ICT Infrastructures 379
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 377
Graphic LOTOS specification of an EN50254 system 324
A Model for the Analysis of Security Policies in Service Function Chains 320
A comprehensive approach to the automatic refinement and verification of access control policies 313
On the Analysis of Vulnerability Chains in Industrial Networks 300
Dynamic Data Management in STEP 299
Communication Service and Protocol Specification using Object Oriented Analysis 291
Real Time Systems Specification and Object Oriented Analysis 233
Toward attribute-based access control policy in industrial networked systems 223
Review of Security Issues in Industrial Networks 145
On the performance of the IEC 61158 Fieldbus 145
On the description of access control policies in networked industrial systems 141
Standard field bus networks for industrial applications 110
Totale 19.232
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.819
article - articoli 11.156
book - libri 935
conference - conferenze 29.728
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 83.638
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202126 0 0 0 0 0 0 0 0 0 0 0 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/20263.406 186 117 158 257 248 203 495 348 650 424 174 146
Totale 19.232