PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.923
EU - Europa 5.310
AS - Asia 3.095
SA - Sud America 203
Continente sconosciuto - Info sul continente non disponibili 124
AF - Africa 48
OC - Oceania 2
Totale 19.705
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.827
GB - Regno Unito 1.122
DE - Germania 980
IT - Italia 977
SG - Singapore 974
FR - Francia 921
CN - Cina 625
VN - Vietnam 617
RU - Federazione Russa 389
UA - Ucraina 275
HK - Hong Kong 195
BR - Brasile 158
TR - Turchia 143
KR - Corea 139
IN - India 95
IE - Irlanda 94
NL - Olanda 94
SE - Svezia 72
CH - Svizzera 71
FI - Finlandia 69
BD - Bangladesh 65
CA - Canada 57
BE - Belgio 54
AT - Austria 52
JP - Giappone 39
PT - Portogallo 36
MY - Malesia 34
TH - Thailandia 29
IL - Israele 25
ID - Indonesia 21
TW - Taiwan 20
AR - Argentina 18
PL - Polonia 18
IQ - Iraq 15
ES - Italia 13
MX - Messico 13
ZA - Sudafrica 12
PH - Filippine 10
SN - Senegal 10
CZ - Repubblica Ceca 9
DK - Danimarca 9
PK - Pakistan 9
IR - Iran 8
JO - Giordania 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
CO - Colombia 4
CR - Costa Rica 4
DO - Repubblica Dominicana 4
GH - Ghana 4
JM - Giamaica 4
PA - Panama 4
PY - Paraguay 4
UZ - Uzbekistan 4
AL - Albania 3
BO - Bolivia 3
EC - Ecuador 3
EG - Egitto 3
EU - Europa 3
KE - Kenya 3
KG - Kirghizistan 3
OM - Oman 3
UY - Uruguay 3
VE - Venezuela 3
AP - ???statistics.table.value.countryCode.AP??? 2
AU - Australia 2
AZ - Azerbaigian 2
HR - Croazia 2
HU - Ungheria 2
LC - Santa Lucia 2
NO - Norvegia 2
NP - Nepal 2
PR - Porto Rico 2
TN - Tunisia 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
HN - Honduras 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
Totale 19.575
Salva come PNG Salva come JPEG
Città #
Ashburn 4.129
Boardman 1.575
Southend 995
Seattle 585
Singapore 561
Fairfield 432
Chandler 292
Fremont 282
San Jose 262
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 122
Beijing 115
Izmir 91
Dublin 89
Milan 88
Berlin 78
San Ramon 78
Chicago 75
Los Angeles 71
Council Bluffs 69
Bern 63
Des Moines 62
Seoul 61
Torino 59
Bologna 58
Helsinki 58
Brussels 51
Dallas 51
Moscow 46
Vienna 46
Hefei 45
New York 45
San Donato Milanese 42
Buffalo 41
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 25
Guangzhou 25
Monopoli 24
London 23
Toronto 23
Kwai Chung 21
Mountain View 21
Rome 20
Naples 19
Munich 18
Tokyo 17
Da Nang 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
Kansas City 9
Atlanta 8
Imola 8
Kiev 8
Orem 8
Paris 8
Phoenix 8
Totale 13.689
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 798
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 789
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 762
A new knowledge representation strategy for cryptographic protocol analysis 762
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 669
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 649
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 642
Detecting Chains of Vulnerabilities in Industrial Networks 640
Tools for cryptographic protocols analysis: A technical and experimental comparison 636
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 635
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 613
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 568
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 562
Improving the Security of Industrial Networks by means of Formal Verification 559
Exploiting symmetries for testing equivalence verification in the SPI calculus 551
An Express Model for the Description of Fieldbus Devices 544
System-Level Performance of an Automation Solution Based on Industry Standards 544
Formal Specification and Verification of the Real-time Scheduler in FIP 531
A LOTOS Specification of the SERCOS Field-bus Protocol 528
Implementation of Static Semantic Analysis of LOTOS Specifications 525
Leveraging SDN To Improve Security in Industrial Networks 492
A Static Semantic Analyzer for LOTOS Specifications 457
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 429
A Model for the Analysis of Security Policies in Industrial Networks 425
Esercizi di Fondamenti di Informatica 416
A Unified Class Model for Checking Security Policies in ICT Infrastructures 411
Automatic testing equivalence verification of spi calculus specifications 407
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 407
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 406
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 400
A Model for the Analysis of Security Policies in Service Function Chains 350
A comprehensive approach to the automatic refinement and verification of access control policies 335
Graphic LOTOS specification of an EN50254 system 324
Dynamic Data Management in STEP 304
On the Analysis of Vulnerability Chains in Industrial Networks 303
Communication Service and Protocol Specification using Object Oriented Analysis 294
Toward attribute-based access control policy in industrial networked systems 250
Real Time Systems Specification and Object Oriented Analysis 234
Review of Security Issues in Industrial Networks 152
On the performance of the IEC 61158 Fieldbus 145
On the description of access control policies in networked industrial systems 143
Standard field bus networks for industrial applications 114
Totale 19.705
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.483
article - articoli 11.658
book - libri 959
conference - conferenze 30.866
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 86.966
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022563 0 0 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.500 186 117 158 257 248 203 495 348 650 424 174 240
2026/2027379 185 165 29 0 0 0 0 0 0 0 0 0
Totale 19.705