PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.366
EU - Europa 4.547
AS - Asia 698
AF - Africa 22
SA - Sud America 5
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 14.641
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.341
GB - Regno Unito 1.086
DE - Germania 917
FR - Francia 863
IT - Italia 802
UA - Ucraina 271
CN - Cina 266
SG - Singapore 134
RU - Federazione Russa 109
TR - Turchia 109
IE - Irlanda 90
NL - Olanda 81
CH - Svizzera 69
SE - Svezia 69
FI - Finlandia 50
AT - Austria 44
KR - Corea 44
IN - India 39
MY - Malesia 29
HK - Hong Kong 26
BE - Belgio 24
CA - Canada 19
JP - Giappone 18
IL - Israele 10
DK - Danimarca 9
PL - Polonia 9
SN - Senegal 9
TW - Taiwan 9
CZ - Repubblica Ceca 8
IR - Iran 8
RO - Romania 7
EE - Estonia 5
PT - Portogallo 5
GH - Ghana 4
ID - Indonesia 4
JO - Giordania 4
CL - Cile 3
EG - Egitto 3
ES - Italia 3
EU - Europa 3
MX - Messico 3
TH - Thailandia 3
AP - ???statistics.table.value.countryCode.AP??? 2
AU - Australia 2
HR - Croazia 2
HU - Ungheria 2
KZ - Kazakistan 2
LC - Santa Lucia 2
LT - Lituania 2
MA - Marocco 2
SA - Arabia Saudita 2
VN - Vietnam 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BR - Brasile 1
GT - Guatemala 1
KE - Kenya 1
NO - Norvegia 1
OM - Oman 1
PH - Filippine 1
PK - Pakistan 1
SC - Seychelles 1
Totale 14.641
Salva come PNG Salva come JPEG
Città #
Ashburn 3.937
Boardman 1.567
Southend 995
Seattle 581
Fairfield 432
Chandler 292
Fremont 282
Woodbridge 242
Ann Arbor 223
Houston 205
Cambridge 181
Wilmington 164
Jacksonville 133
Princeton 126
Turin 119
Singapore 95
Izmir 91
Dublin 86
San Ramon 78
Berlin 77
Chicago 69
Milan 64
Bern 63
Des Moines 62
Torino 59
Beijing 57
Bologna 56
Helsinki 46
Vienna 44
San Donato Milanese 42
Shanghai 37
Zhengzhou 36
Lecce 33
Pennsylvania Furnace 33
Overberg 31
Baltimore 30
Saint Petersburg 30
Council Bluffs 28
San Francisco 27
Frankfurt 26
Monopoli 24
Amsterdam 23
Guangzhou 22
Brussels 21
Kwai Chung 21
Mountain View 21
Buffalo 18
Santa Clara 18
Padua 16
San Diego 16
Hangzhou 15
Zaporozhye 15
Falls Church 14
Norwalk 14
Taramani 13
Malatya 12
Moscow 12
Overland Park 12
Naples 11
Rome 10
Andover 9
Columbus 9
Las Vegas 9
London 9
Wuhan 9
Imola 8
Kansas City 8
Kiev 8
Osaka 8
San Antonio 8
Trecate 8
Modena 7
Redwood City 7
Shaoxing 7
Borgosesia 6
Brno 6
New York 6
Paris 6
Podenzano 6
San Jose 6
Seoul 6
Cupertino 5
Jinan 5
Lugano 5
Melun 5
Palermo 5
Salmour 5
Stuttgart 5
Toronto 5
Accra 4
Asti 4
Brugnera 4
Central District 4
Harbin 4
Herkenbosch 4
Kharkiv 4
Lisbon 4
Lviv 4
Mcallen 4
Nanjing 4
Totale 11.347
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 695
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 691
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 666
A new knowledge representation strategy for cryptographic protocol analysis 666
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 536
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 512
Tools for cryptographic protocols analysis: A technical and experimental comparison 505
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 496
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 485
Detecting Chains of Vulnerabilities in Industrial Networks 480
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 479
An Express Model for the Description of Fieldbus Devices 475
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 444
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 433
Formal Specification and Verification of the Real-time Scheduler in FIP 433
Improving the Security of Industrial Networks by means of Formal Verification 429
Exploiting symmetries for testing equivalence verification in the SPI calculus 425
Implementation of Static Semantic Analysis of LOTOS Specifications 417
A LOTOS Specification of the SERCOS Field-bus Protocol 414
System-Level Performance of an Automation Solution Based on Industry Standards 413
A Model for the Analysis of Security Policies in Industrial Networks 342
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 329
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 327
Esercizi di Fondamenti di Informatica 326
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 312
A Static Semantic Analyzer for LOTOS Specifications 306
Automatic testing equivalence verification of spi calculus specifications 300
A Unified Class Model for Checking Security Policies in ICT Infrastructures 291
Leveraging SDN To Improve Security in Industrial Networks 278
Graphic LOTOS specification of an EN50254 system 262
Dynamic Data Management in STEP 240
On the Analysis of Vulnerability Chains in Industrial Networks 226
Communication Service and Protocol Specification using Object Oriented Analysis 224
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 224
A Model for the Analysis of Security Policies in Service Function Chains 209
Real Time Systems Specification and Object Oriented Analysis 169
A comprehensive approach to the automatic refinement and verification of access control policies 137
Toward attribute-based access control policy in industrial networked systems 97
Review of Security Issues in Industrial Networks 20
Standard field bus networks for industrial applications 18
On the description of access control policies in networked industrial systems 13
On the performance of the IEC 61158 Fieldbus 12
Totale 14.756
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.670
article - articoli 7.439
book - libri 656
conference - conferenze 21.575
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 59.340
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020983 0 0 39 167 130 132 83 141 151 73 41 26
2020/20211.092 92 104 132 190 116 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/2025316 83 177 56 0 0 0 0 0 0 0 0 0
Totale 14.756