PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.311
EU - Europa 5.229
AS - Asia 3.015
SA - Sud America 181
AF - Africa 48
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 18.787
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.242
GB - Regno Unito 1.120
DE - Germania 979
SG - Singapore 957
FR - Francia 920
IT - Italia 915
CN - Cina 624
VN - Vietnam 616
RU - Federazione Russa 389
UA - Ucraina 274
HK - Hong Kong 194
BR - Brasile 145
TR - Turchia 143
KR - Corea 138
IN - India 95
NL - Olanda 94
IE - Irlanda 93
SE - Svezia 71
CH - Svizzera 70
FI - Finlandia 69
BE - Belgio 53
AT - Austria 52
CA - Canada 43
JP - Giappone 39
PT - Portogallo 36
MY - Malesia 32
TH - Thailandia 29
IL - Israele 25
ID - Indonesia 21
TW - Taiwan 20
PL - Polonia 18
AR - Argentina 16
IQ - Iraq 15
MX - Messico 13
ZA - Sudafrica 12
BD - Bangladesh 10
PH - Filippine 10
SN - Senegal 10
DK - Danimarca 9
CZ - Repubblica Ceca 8
ES - Italia 8
IR - Iran 8
JO - Giordania 8
PK - Pakistan 8
RO - Romania 7
SA - Arabia Saudita 7
EE - Estonia 6
KZ - Kazakistan 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
DZ - Algeria 5
LT - Lituania 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
EC - Ecuador 2
HR - Croazia 2
HU - Ungheria 2
LC - Santa Lucia 2
NO - Norvegia 2
NP - Nepal 2
TN - Tunisia 2
BG - Bulgaria 1
BY - Bielorussia 1
CO - Colombia 1
CY - Cipro 1
DM - Dominica 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
JM - Giamaica 1
LB - Libano 1
LV - Lettonia 1
MM - Myanmar 1
MN - Mongolia 1
MU - Mauritius 1
PS - Palestinian Territory 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 18.787
Salva come PNG Salva come JPEG
Città #
Ashburn 4.102
Boardman 1.575
Southend 995
Seattle 584
Singapore 556
Fairfield 432
Chandler 292
Fremont 282
Woodbridge 242
Ann Arbor 223
Houston 208
Turin 182
Cambridge 181
San Jose 169
Wilmington 164
Hanoi 151
Ho Chi Minh City 143
Hong Kong 143
Jacksonville 133
Princeton 126
Santa Clara 117
Beijing 114
Izmir 91
Dublin 89
Berlin 78
Milan 78
San Ramon 78
Chicago 73
Bern 63
Los Angeles 63
Des Moines 62
Seoul 60
Torino 59
Helsinki 58
Bologna 57
Brussels 50
Moscow 46
Vienna 46
Dallas 45
Hefei 45
San Donato Milanese 42
Buffalo 41
Council Bluffs 41
New York 40
Shanghai 39
Zhengzhou 39
Lisbon 35
Tongling 34
Lecce 33
Pennsylvania Furnace 33
Baltimore 32
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 22
Kwai Chung 21
Mountain View 21
Munich 18
Tokyo 17
Da Nang 16
Padua 16
San Diego 16
Hangzhou 15
Zaporozhye 15
Bangkok 14
Falls Church 14
Norwalk 14
Rome 14
Naples 13
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
Osaka 10
Wuhan 10
Andover 9
Las Vegas 9
Imola 8
Kansas City 8
Kiev 8
Modena 8
Paris 8
San Antonio 8
Trecate 8
Atlanta 7
Totale 13.468
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 778
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 776
A new knowledge representation strategy for cryptographic protocol analysis 755
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 752
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 654
Tools for cryptographic protocols analysis: A technical and experimental comparison 632
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 631
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 614
Detecting Chains of Vulnerabilities in Industrial Networks 614
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 604
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 595
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 561
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 557
Improving the Security of Industrial Networks by means of Formal Verification 547
An Express Model for the Description of Fieldbus Devices 538
System-Level Performance of an Automation Solution Based on Industry Standards 538
Exploiting symmetries for testing equivalence verification in the SPI calculus 526
Formal Specification and Verification of the Real-time Scheduler in FIP 496
Implementation of Static Semantic Analysis of LOTOS Specifications 489
A LOTOS Specification of the SERCOS Field-bus Protocol 484
Leveraging SDN To Improve Security in Industrial Networks 447
A Model for the Analysis of Security Policies in Industrial Networks 420
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 418
A Static Semantic Analyzer for LOTOS Specifications 415
Esercizi di Fondamenti di Informatica 410
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 396
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 393
Automatic testing equivalence verification of spi calculus specifications 389
A Unified Class Model for Checking Security Policies in ICT Infrastructures 370
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 360
Graphic LOTOS specification of an EN50254 system 321
A comprehensive approach to the automatic refinement and verification of access control policies 309
A Model for the Analysis of Security Policies in Service Function Chains 304
On the Analysis of Vulnerability Chains in Industrial Networks 295
Dynamic Data Management in STEP 293
Communication Service and Protocol Specification using Object Oriented Analysis 288
Real Time Systems Specification and Object Oriented Analysis 228
Toward attribute-based access control policy in industrial networked systems 208
On the performance of the IEC 61158 Fieldbus 139
Review of Security Issues in Industrial Networks 138
On the description of access control policies in networked industrial systems 123
Standard field bus networks for industrial applications 105
Totale 18.910
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.522
article - articoli 10.771
book - libri 905
conference - conferenze 28.846
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 81.044
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021149 0 0 0 0 0 0 0 0 0 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/20263.084 186 117 158 257 248 203 495 348 650 422 0 0
Totale 18.910