PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.746
EU - Europa 4.730
AS - Asia 1.478
SA - Sud America 107
AF - Africa 28
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 16.092
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.702
GB - Regno Unito 1.101
DE - Germania 947
FR - Francia 867
IT - Italia 839
SG - Singapore 544
CN - Cina 483
UA - Ucraina 273
RU - Federazione Russa 151
TR - Turchia 141
KR - Corea 101
BR - Brasile 96
IE - Irlanda 91
NL - Olanda 84
CH - Svizzera 69
SE - Svezia 69
FI - Finlandia 56
AT - Austria 52
BE - Belgio 52
IN - India 44
HK - Hong Kong 34
CA - Canada 31
MY - Malesia 29
IL - Israele 24
JP - Giappone 22
ID - Indonesia 16
PL - Polonia 10
DK - Danimarca 9
SN - Senegal 9
TW - Taiwan 9
CZ - Repubblica Ceca 8
IR - Iran 8
RO - Romania 7
MX - Messico 6
VN - Vietnam 6
ZA - Sudafrica 6
EE - Estonia 5
PT - Portogallo 5
AR - Argentina 4
BD - Bangladesh 4
ES - Italia 4
GH - Ghana 4
JO - Giordania 4
KZ - Kazakistan 4
LT - Lituania 4
CL - Cile 3
EG - Egitto 3
EU - Europa 3
IQ - Iraq 3
MA - Marocco 3
PA - Panama 3
PK - Pakistan 3
TH - Thailandia 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AP - ???statistics.table.value.countryCode.AP??? 2
AU - Australia 2
BO - Bolivia 2
HR - Croazia 2
HU - Ungheria 2
KE - Kenya 2
KG - Kirghizistan 2
LC - Santa Lucia 2
SA - Arabia Saudita 2
AL - Albania 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
GY - Guiana 1
NO - Norvegia 1
OM - Oman 1
PH - Filippine 1
RS - Serbia 1
SC - Seychelles 1
VE - Venezuela 1
Totale 16.092
Salva come PNG Salva come JPEG
Città #
Ashburn 4.004
Boardman 1.567
Southend 995
Seattle 582
Fairfield 432
Chandler 292
Singapore 292
Fremont 282
Woodbridge 242
Ann Arbor 223
Houston 206
Cambridge 181
Wilmington 164
Turin 145
Jacksonville 133
Princeton 126
Santa Clara 105
Beijing 96
Izmir 91
Dublin 87
San Ramon 78
Berlin 77
Chicago 71
Milan 67
Bern 63
Des Moines 62
Torino 59
Bologna 56
Brussels 49
Helsinki 47
Vienna 46
San Donato Milanese 42
Dallas 39
Zhengzhou 39
Shanghai 38
Council Bluffs 37
Tongling 34
Lecce 33
Pennsylvania Furnace 33
Baltimore 32
Seoul 32
Istanbul 31
Overberg 31
Saint Petersburg 30
San Francisco 28
Buffalo 27
Frankfurt 26
Amsterdam 25
Guangzhou 24
Monopoli 24
Kwai Chung 21
Mountain View 21
London 19
Munich 18
Los Angeles 17
Padua 16
San Diego 16
Hangzhou 15
Zaporozhye 15
Falls Church 14
Norwalk 14
Taramani 13
Toronto 13
Jakarta 12
Malatya 12
Moscow 12
Overland Park 12
Columbus 11
Naples 11
Rome 11
Jerusalem 10
New York 10
Wuhan 10
Andover 9
Las Vegas 9
Imola 8
Kansas City 8
Kiev 8
Osaka 8
San Antonio 8
Trecate 8
Cangzhou 7
Hefei 7
Modena 7
Nuremberg 7
Redwood City 7
San Jose 7
Shaoxing 7
Yubileyny 7
Belo Horizonte 6
Borgosesia 6
Brno 6
Palermo 6
Paris 6
Podenzano 6
São Paulo 6
Brooklyn 5
Contagem 5
Cupertino 5
Hong Kong 5
Totale 12.032
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 727
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 721
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 698
A new knowledge representation strategy for cryptographic protocol analysis 688
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 568
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 552
Tools for cryptographic protocols analysis: A technical and experimental comparison 539
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 536
Detecting Chains of Vulnerabilities in Industrial Networks 528
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 524
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 506
An Express Model for the Description of Fieldbus Devices 505
Spi2Java: automatic cryptographic protocol java code generation from spi calculus 503
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 471
Improving the Security of Industrial Networks by means of Formal Verification 470
Exploiting symmetries for testing equivalence verification in the SPI calculus 461
Formal Specification and Verification of the Real-time Scheduler in FIP 455
System-Level Performance of an Automation Solution Based on Industry Standards 453
Implementation of Static Semantic Analysis of LOTOS Specifications 441
A LOTOS Specification of the SERCOS Field-bus Protocol 437
A Model for the Analysis of Security Policies in Industrial Networks 359
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 356
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 352
Esercizi di Fondamenti di Informatica 351
Leveraging SDN To Improve Security in Industrial Networks 340
Automatic testing equivalence verification of spi calculus specifications 334
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 333
A Static Semantic Analyzer for LOTOS Specifications 332
A Unified Class Model for Checking Security Policies in ICT Infrastructures 312
Graphic LOTOS specification of an EN50254 system 283
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 277
Dynamic Data Management in STEP 262
Communication Service and Protocol Specification using Object Oriented Analysis 260
On the Analysis of Vulnerability Chains in Industrial Networks 248
A Model for the Analysis of Security Policies in Service Function Chains 243
Real Time Systems Specification and Object Oriented Analysis 205
A comprehensive approach to the automatic refinement and verification of access control policies 205
Toward attribute-based access control policy in industrial networked systems 139
Review of Security Issues in Industrial Networks 72
On the description of access control policies in networked industrial systems 63
Standard field bus networks for industrial applications 56
On the performance of the IEC 61158 Fieldbus 50
Totale 16.215
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.635
article - articoli 9.198
book - libri 798
conference - conferenze 25.639
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 71.270
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021896 0 0 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/20251.386 83 177 61 221 70 62 72 107 186 40 100 207
2025/2026389 186 117 86 0 0 0 0 0 0 0 0 0
Totale 16.215