CATALOGO DEI PRODOTTI DELLA RICERCA

VIGANO', Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.634
EU - Europa 5.226
AS - Asia 4.169
SA - Sud America 486
AF - Africa 115
Continente sconosciuto - Info sul continente non disponibili 115
OC - Oceania 14
Totale 16.759
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.516
RU - Federazione Russa 1.900
SG - Singapore 1.691
CN - Cina 1.353
GB - Regno Unito 1.132
IT - Italia 475
FR - Francia 365
BR - Brasile 357
VN - Vietnam 320
HK - Hong Kong 312
SE - Svezia 303
DE - Germania 272
IE - Irlanda 252
FI - Finlandia 243
KR - Corea 171
UA - Ucraina 86
BD - Bangladesh 71
CA - Canada 68
BE - Belgio 62
AR - Argentina 54
IN - India 49
TR - Turchia 46
NG - Nigeria 41
MX - Messico 29
NL - Olanda 24
ES - Italia 22
JP - Giappone 22
ID - Indonesia 21
PL - Polonia 18
ZA - Sudafrica 17
IQ - Iraq 16
MY - Malesia 15
DK - Danimarca 14
AU - Australia 13
CL - Cile 13
CM - Camerun 13
EC - Ecuador 13
CO - Colombia 12
PK - Pakistan 10
SA - Arabia Saudita 10
VE - Venezuela 10
PE - Perù 9
AT - Austria 8
MA - Marocco 8
PH - Filippine 8
PY - Paraguay 8
AE - Emirati Arabi Uniti 7
DZ - Algeria 7
HN - Honduras 7
IR - Iran 7
UZ - Uzbekistan 7
JO - Giordania 6
KE - Kenya 6
RS - Serbia 6
BO - Bolivia 5
CH - Svizzera 5
GR - Grecia 5
IL - Israele 5
LU - Lussemburgo 5
UY - Uruguay 5
AZ - Azerbaigian 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
LT - Lituania 4
NP - Nepal 4
RO - Romania 4
TN - Tunisia 4
BG - Bulgaria 3
CR - Costa Rica 3
EG - Egitto 3
EU - Europa 3
HU - Ungheria 3
LV - Lettonia 3
AO - Angola 2
BN - Brunei Darussalam 2
GA - Gabon 2
HR - Croazia 2
JM - Giamaica 2
MD - Moldavia 2
MN - Mongolia 2
NI - Nicaragua 2
NO - Norvegia 2
SN - Senegal 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BH - Bahrain 1
CG - Congo 1
CI - Costa d'Avorio 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GT - Guatemala 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LY - Libia 1
MK - Macedonia 1
Totale 16.638
Salva come PNG Salva come JPEG
Città #
Singapore 913
Southend 909
Jacksonville 751
Chandler 655
Woodbridge 581
Ashburn 573
San Jose 539
Moscow 537
Ann Arbor 414
Dallas 374
Houston 351
Hong Kong 300
Verona 255
Dublin 252
The Dalles 216
Council Bluffs 196
Beijing 150
Nanjing 139
Lawrence 118
Princeton 118
Jinan 109
Ho Chi Minh City 107
Wilmington 99
Los Angeles 82
Shenyang 81
Hanoi 70
Columbus 63
Brussels 60
Buffalo 56
Seoul 53
Changsha 52
Tianjin 52
Milan 50
Santa Clara 50
New York 45
Hebei 43
Sindelfingen 43
Zhengzhou 41
Abuja 40
Nanchang 40
Boardman 39
Lancaster 38
Frankfurt am Main 36
Ningbo 35
Haikou 32
Munich 30
Taizhou 30
Helsinki 29
Hangzhou 28
São Paulo 27
Guangzhou 26
Redondo Beach 23
Taiyuan 21
Brooklyn 20
Des Moines 20
Cambridge 19
Norwalk 19
San Francisco 19
Belo Horizonte 18
Jiaxing 18
Montreal 18
Toronto 18
Lanzhou 16
Orem 16
London 15
Rio de Janeiro 15
Tokyo 15
Chicago 14
Phoenix 13
Washington 13
Amsterdam 12
Boston 12
Da Nang 12
Seattle 12
Atlanta 11
Dhaka 11
Fuzhou 11
Warsaw 11
Chennai 10
Hải Dương 10
Johannesburg 10
Turku 10
Auburn Hills 9
Charlotte 9
Denver 9
Haiphong 9
Biên Hòa 8
Istanbul 8
Dong Ket 7
Groningen 7
Kuala Lumpur 7
Lima 7
Manchester 7
Paris 7
Riyadh 7
Shanghai 7
Tappahannock 7
Buenos Aires 6
Copenhagen 6
Elora 6
Totale 10.522
Salva come PNG Salva come JPEG
Nome #
Quantum State Transformations and Branching Distributed Temporal Logic 279
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 269
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes 260
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 251
A labeled deduction system for the logic UB 238
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures 237
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 236
Blocking Underhand Attacks by Hidden Coalitions 232
Towards Formal Validation of Trust and Security in the Internet of Services 211
A Deduction System for Meaning Negotiation 209
A History of Until 203
Security protocols as environments: A lesson from non-collaboration 199
Distributed Temporal Logic for the Analysis of Security Protocol Models 196
A Qualitative Modal Representation of Quantum Register Transformations 194
An Environmental Paradigm for Defending Security Protocols 194
Access Controlled Temporal Networks 191
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 183
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 182
Conditional Simple Temporal Networks with Uncertainty and Resources 180
A complete tableau procedure for risk analysis 179
Using interpolation for the verification of security protocols 177
A Labeled Natural Deduction System for a Fragment of CTL∗ 176
Towards a Logical Framework for Reasoning about Risk 174
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 172
Security is Beautiful 172
A Recipe for the Complexity Analysis of Non-Classical Logics 171
A Formal Approach to Analyzing Cyber-Forensics Evidence 170
A New Method for Bounding the Complexity of Modal Logics 167
A Modular Presentation of Modal Logics in a Logical Framework 165
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection 164
Attack Interference: A Path to Defending Security Protocols 162
Security is Beautiful (Transcript of Discussion) 162
A Topography of Labelled Model Logics 161
A Formalization of Off-Line Guessing for Security Protocol Analysis 160
A Formal Data-Model of the CORBA Security Service 160
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 159
Alice and Bob: Reconciling Formal Models and Implementation 159
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 159
A labeled tableaux system for the Distributed Temporal Logic DTL 158
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 157
Back from the future 156
An automated approach for testing the security of web applications against chained attacks 154
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 153
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 152
A Formal Analysis of the CORBA Security Service 151
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities 145
Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity 143
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment 143
Labelled natural deduction for a bundled branching temporal logic 142
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 141
Constraint Networks Under Conditional Uncertainty 141
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 137
Conditional Uncertainty in Constraint Networks 137
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 137
Labelled Propositional Modal Logics: Theory and Practice 136
Automated Security Protocol Analysis With the AVISPA Tool 135
OFMC: A Symbolic Model-Checker for Security Protocols 132
Modal Deduction Systems for Quantum State Transformations 132
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 132
Labelled quantified modal logics 131
The AVISS Security Protocol Analysis Tool 129
Labelled Non-Classical Logics 127
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 127
Modal Specifications of Trace-Based Security Properties 126
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols 126
Deconstructing Alice and Bob 126
An On-The-Fly Model-Checker for Security Protocol Analysis 125
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols 125
Towards an awareness-based semantics for security protocol analysis 125
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 124
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 124
Conditional simple temporal networks with uncertainty and decisions 124
Labeled natural deduction systems for a family of tense logics 123
Natural Deduction for Non-Classical Logics 122
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 121
SEL Compiler and Abstract Analyzers 121
Labelled Modal Logics: Quantifiers 120
SecTest 2011, the Second International Workshop on Security Testing 120
Resource Controllability of Workflows Under Conditional Uncertainty 119
Algebraic Intruder Deductions 118
Formalizing and Analyzing Sender Invariance 117
Security Constraints in Temporal Role-Based Access-Controlled Workflows 117
Labelled Deduction 116
Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract) 115
Building and executing proof strategies in a formal metatheory 114
Modal logics K, T, K4, S4: labelled proof systems and new complexity results 112
Truth-values as labels: a general recipe for labelled deduction 109
Tableau systems for reasoning about risk 109
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract) 108
Secure Pseudonymous Channels 108
Towards a Metalogic for Security Protocol Analysis 107
My Galois 106
On the semantics of Alice&Bob specifications of security protocols 105
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 105
Metareasoning about Security Protocols using Distributed Temporal Logic 105
Fibring Labelled Deduction Systems 103
Galois 103
Implementing modal and relevance logics in a logical framework 102
Automated analysis of RBAC policies with temporal constraints and static role hierarchies 102
Labelled Deduction over Algebras of Truth-Values 101
Totale 15.094
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.646
article - articoli 18.702
book - libri 789
conference - conferenze 33.087
curatela - curatele 1.434
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.634
Totale 111.292
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022619 0 0 14 22 79 29 22 52 27 32 77 265
2022/20231.922 156 160 178 329 182 422 17 138 235 16 65 24
2023/2024757 50 79 61 92 89 66 48 67 5 72 87 41
2024/20252.159 107 219 50 413 67 54 82 140 307 124 208 388
2025/20266.193 508 318 419 868 1.394 439 687 447 439 415 92 167
2026/2027272 100 172 0 0 0 0 0 0 0 0 0 0
Totale 16.759