CATALOGO DEI PRODOTTI DELLA RICERCA

VIGANO', Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.453
EU - Europa 5.317
AS - Asia 4.205
SA - Sud America 503
AF - Africa 120
Continente sconosciuto - Info sul continente non disponibili 119
OC - Oceania 14
Totale 17.731
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.240
RU - Federazione Russa 1.911
SG - Singapore 1.692
CN - Cina 1.355
GB - Regno Unito 1.141
IT - Italia 533
FR - Francia 370
BR - Brasile 365
VN - Vietnam 322
HK - Hong Kong 313
SE - Svezia 303
DE - Germania 273
IE - Irlanda 252
FI - Finlandia 243
KR - Corea 171
CA - Canada 113
UA - Ucraina 86
BD - Bangladesh 76
BE - Belgio 62
AR - Argentina 56
IN - India 51
TR - Turchia 46
NG - Nigeria 41
MX - Messico 29
NL - Olanda 27
ID - Indonesia 26
ES - Italia 24
JP - Giappone 23
PL - Polonia 18
ZA - Sudafrica 17
IQ - Iraq 16
CO - Colombia 15
CR - Costa Rica 15
EC - Ecuador 15
IL - Israele 15
MY - Malesia 15
DK - Danimarca 14
AU - Australia 13
CL - Cile 13
CM - Camerun 13
PH - Filippine 12
HN - Honduras 11
VE - Venezuela 11
PK - Pakistan 10
SA - Arabia Saudita 10
NI - Nicaragua 9
PE - Perù 9
AT - Austria 8
MA - Marocco 8
PY - Paraguay 8
TT - Trinidad e Tobago 8
AE - Emirati Arabi Uniti 7
DZ - Algeria 7
GT - Guatemala 7
IR - Iran 7
UZ - Uzbekistan 7
BO - Bolivia 6
JO - Giordania 6
KE - Kenya 6
RS - Serbia 6
SV - El Salvador 6
CH - Svizzera 5
GR - Grecia 5
LU - Lussemburgo 5
SC - Seychelles 5
UY - Uruguay 5
AZ - Azerbaigian 4
CW - ???statistics.table.value.countryCode.CW??? 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
LT - Lituania 4
NP - Nepal 4
PR - Porto Rico 4
RO - Romania 4
TN - Tunisia 4
BG - Bulgaria 3
EG - Egitto 3
EU - Europa 3
HU - Ungheria 3
JM - Giamaica 3
LV - Lettonia 3
AO - Angola 2
BB - Barbados 2
BH - Bahrain 2
BN - Brunei Darussalam 2
CG - Congo 2
EE - Estonia 2
GA - Gabon 2
GP - Guadalupe 2
HR - Croazia 2
KZ - Kazakistan 2
MD - Moldavia 2
MN - Mongolia 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
BA - Bosnia-Erzegovina 1
Totale 17.604
Salva come PNG Salva come JPEG
Città #
Singapore 913
Southend 909
Ashburn 833
Jacksonville 751
Chandler 655
Woodbridge 582
San Jose 571
Moscow 537
Dallas 419
Ann Arbor 414
Houston 352
Hong Kong 301
Verona 256
Dublin 252
The Dalles 216
Council Bluffs 196
Beijing 150
Nanjing 139
Princeton 119
Lawrence 118
Jinan 109
Ho Chi Minh City 108
Wilmington 99
Los Angeles 84
Shenyang 81
Hanoi 70
Santa Clara 67
Columbus 64
Brussels 60
Buffalo 58
Milan 57
Seoul 53
Changsha 52
Tianjin 52
New York 48
Hebei 43
Sindelfingen 43
Zhengzhou 41
Abuja 40
Nanchang 40
Boardman 39
Lancaster 39
Frankfurt am Main 36
Ningbo 35
Haikou 32
Munich 30
Taizhou 30
Helsinki 29
São Paulo 29
Hangzhou 28
Montreal 27
Guangzhou 26
Toronto 26
Redondo Beach 23
Brooklyn 22
Taiyuan 21
Cambridge 20
Des Moines 20
San Francisco 20
Norwalk 19
Belo Horizonte 18
Jiaxing 18
Orem 18
Chicago 16
Lanzhou 16
London 16
Rio de Janeiro 16
Tokyo 16
Atlanta 15
Phoenix 15
Washington 15
Amsterdam 14
Seattle 13
Boston 12
Da Nang 12
Charlotte 11
Denver 11
Dhaka 11
Fuzhou 11
Staranzano 11
Warsaw 11
Chennai 10
Haiphong 10
Hải Dương 10
Johannesburg 10
San Diego 10
San José 10
Turku 10
Auburn Hills 9
Cleveland 9
Managua 9
North Bergen 9
Biên Hòa 8
Bologna 8
Istanbul 8
Las Vegas 8
Ottawa 8
Rome 8
Brasília 7
Dong Ket 7
Totale 10.967
Salva come PNG Salva come JPEG
Nome #
Quantum State Transformations and Branching Distributed Temporal Logic 289
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 279
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes 268
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 261
A labeled deduction system for the logic UB 259
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 250
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures 243
Blocking Underhand Attacks by Hidden Coalitions 242
Towards Formal Validation of Trust and Security in the Internet of Services 223
A Deduction System for Meaning Negotiation 218
A History of Until 212
Security protocols as environments: A lesson from non-collaboration 204
Distributed Temporal Logic for the Analysis of Security Protocol Models 203
An Environmental Paradigm for Defending Security Protocols 203
Access Controlled Temporal Networks 200
A Qualitative Modal Representation of Quantum Register Transformations 199
A Recipe for the Complexity Analysis of Non-Classical Logics 197
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 191
Conditional Simple Temporal Networks with Uncertainty and Resources 189
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 188
A Labeled Natural Deduction System for a Fragment of CTL∗ 186
A complete tableau procedure for risk analysis 185
Towards a Logical Framework for Reasoning about Risk 184
Using interpolation for the verification of security protocols 182
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 181
Security is Beautiful 181
A Formal Approach to Analyzing Cyber-Forensics Evidence 181
A Modular Presentation of Modal Logics in a Logical Framework 179
A New Method for Bounding the Complexity of Modal Logics 177
A Formal Data-Model of the CORBA Security Service 171
A Topography of Labelled Model Logics 171
Attack Interference: A Path to Defending Security Protocols 170
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection 170
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 170
Alice and Bob: Reconciling Formal Models and Implementation 169
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 169
A Formalization of Off-Line Guessing for Security Protocol Analysis 168
Security is Beautiful (Transcript of Discussion) 166
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 165
A labeled tableaux system for the Distributed Temporal Logic DTL 164
Back from the future 164
A Formal Analysis of the CORBA Security Service 163
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 163
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 161
An automated approach for testing the security of web applications against chained attacks 161
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 159
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities 153
Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity 150
Constraint Networks Under Conditional Uncertainty 150
Labelled natural deduction for a bundled branching temporal logic 149
Automated Security Protocol Analysis With the AVISPA Tool 148
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 148
Modal Deduction Systems for Quantum State Transformations 147
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment 146
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 145
Labelled Propositional Modal Logics: Theory and Practice 144
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 143
Conditional Uncertainty in Constraint Networks 143
OFMC: A Symbolic Model-Checker for Security Protocols 142
Labelled Non-Classical Logics 140
The AVISS Security Protocol Analysis Tool 140
SecTest 2011, the Second International Workshop on Security Testing 139
Modal Specifications of Trace-Based Security Properties 138
Labelled quantified modal logics 136
Deconstructing Alice and Bob 135
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 134
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 132
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols 132
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 132
Conditional simple temporal networks with uncertainty and decisions 132
Labeled natural deduction systems for a family of tense logics 131
Towards an awareness-based semantics for security protocol analysis 131
An On-The-Fly Model-Checker for Security Protocol Analysis 130
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols 130
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 129
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract) 129
Labelled Modal Logics: Quantifiers 128
Natural Deduction for Non-Classical Logics 128
Resource Controllability of Workflows Under Conditional Uncertainty 128
Algebraic Intruder Deductions 127
SEL Compiler and Abstract Analyzers 126
Modal logics K, T, K4, S4: labelled proof systems and new complexity results 125
Building and executing proof strategies in a formal metatheory 124
Formalizing and Analyzing Sender Invariance 123
Security Constraints in Temporal Role-Based Access-Controlled Workflows 123
Labelled Deduction 121
Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract) 118
Towards a Metalogic for Security Protocol Analysis 117
Secure Pseudonymous Channels 115
On the semantics of Alice&Bob specifications of security protocols 114
Truth-values as labels: a general recipe for labelled deduction 114
Tableau systems for reasoning about risk 114
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 113
Metareasoning about Security Protocols using Distributed Temporal Logic 111
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, Revised Selected Papers 111
My Galois 111
Labelled Deduction over Algebras of Truth-Values 110
Fibring Labelled Deduction Systems 108
Implementing modal and relevance logics in a logical framework 107
Towards a Quantitative Analysis of Security Protocols 107
Totale 15.979
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.111
article - articoli 19.855
book - libri 843
conference - conferenze 35.112
curatela - curatele 1.545
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.756
Totale 118.222
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022583 0 0 0 0 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/20271.244 100 172 300 630 42 0 0 0 0 0 0 0
Totale 17.731