CATALOGO DEI PRODOTTI DELLA RICERCA

VIGANO', Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.988
EU - Europa 3.367
AS - Asia 2.657
SA - Sud America 315
AF - Africa 34
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 4
Totale 11.378
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.920
GB - Regno Unito 1.108
CN - Cina 1.081
SG - Singapore 1.011
RU - Federazione Russa 415
FR - Francia 341
SE - Svezia 301
HK - Hong Kong 293
BR - Brasile 268
DE - Germania 252
IE - Irlanda 251
FI - Finlandia 240
IT - Italia 228
KR - Corea 90
UA - Ucraina 80
BE - Belgio 61
CA - Canada 47
TR - Turchia 33
VN - Vietnam 33
IN - India 25
BD - Bangladesh 18
ES - Italia 15
MX - Messico 15
NL - Olanda 15
PL - Polonia 14
AR - Argentina 13
CM - Camerun 13
AU - Australia 12
DK - Danimarca 10
JP - Giappone 9
ZA - Sudafrica 9
AE - Emirati Arabi Uniti 7
AT - Austria 7
IR - Iran 7
ID - Indonesia 6
IQ - Iraq 6
PY - Paraguay 6
CL - Cile 5
EC - Ecuador 5
LU - Lussemburgo 5
PE - Perù 5
AZ - Azerbaigian 4
IL - Israele 4
MY - Malesia 4
PK - Pakistan 4
UZ - Uzbekistan 4
VE - Venezuela 4
BO - Bolivia 3
CH - Svizzera 3
CO - Colombia 3
EU - Europa 3
JO - Giordania 3
KE - Kenya 3
LV - Lettonia 3
MA - Marocco 3
PH - Filippine 3
RO - Romania 3
SA - Arabia Saudita 3
UY - Uruguay 3
AO - Angola 2
GR - Grecia 2
HN - Honduras 2
HU - Ungheria 2
MD - Moldavia 2
NO - Norvegia 2
RS - Serbia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BN - Brunei Darussalam 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
HR - Croazia 1
KZ - Kazakistan 1
LT - Lituania 1
MO - Macao, regione amministrativa speciale della Cina 1
MR - Mauritania 1
MU - Mauritius 1
NI - Nicaragua 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
SN - Senegal 1
TM - Turkmenistan 1
TT - Trinidad e Tobago 1
Totale 11.378
Salva come PNG Salva come JPEG
Città #
Southend 909
Jacksonville 750
Chandler 655
Woodbridge 581
Singapore 466
Ann Arbor 414
Dallas 347
Houston 346
Hong Kong 282
Dublin 251
Ashburn 220
Nanjing 138
Lawrence 118
Princeton 118
Jinan 109
Beijing 106
Wilmington 98
Shenyang 81
The Dalles 68
Verona 66
Columbus 63
Brussels 60
Los Angeles 58
Changsha 52
Seoul 50
Buffalo 45
Tianjin 45
Milan 44
Hebei 43
Sindelfingen 43
Zhengzhou 41
Nanchang 40
Boardman 38
Lancaster 38
Ningbo 35
Haikou 32
Munich 30
Taizhou 30
Helsinki 28
Santa Clara 28
Hangzhou 25
Frankfurt am Main 22
Guangzhou 22
Taiyuan 21
Norwalk 19
Cambridge 18
Jiaxing 18
New York 17
San Francisco 17
Belo Horizonte 16
Brooklyn 16
Lanzhou 16
Redondo Beach 16
São Paulo 15
Toronto 15
Moscow 13
Rio de Janeiro 13
Washington 13
Chicago 12
Council Bluffs 12
Boston 11
Fuzhou 11
Montreal 10
Auburn Hills 9
Ho Chi Minh City 9
Seattle 9
Warsaw 9
London 8
Turku 8
Amsterdam 7
Atlanta 7
Dhaka 7
Dong Ket 7
Groningen 7
Tappahannock 7
Tokyo 7
Elora 6
Neubiberg 6
Ottawa 6
Copenhagen 5
Edinburgh 5
Fairfield 5
Fort Worth 5
Hanoi 5
Itaquaquecetuba 5
Johannesburg 5
Luxembourg 5
Qingdao 5
Redwood City 5
San Diego 5
Stockholm 5
Vienna 5
Yicheng 5
Alvorada 4
Andover 4
Asunción 4
Baku 4
Bexley 4
Campinas 4
Campo Grande 4
Totale 7.551
Salva come PNG Salva come JPEG
Nome #
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 179
Quantum State Transformations and Branching Distributed Temporal Logic 179
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 174
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes 170
Blocking Underhand Attacks by Hidden Coalitions 166
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 163
A labeled deduction system for the logic UB 160
A Deduction System for Meaning Negotiation 156
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures 152
Towards Formal Validation of Trust and Security in the Internet of Services 150
Security protocols as environments: A lesson from non-collaboration 139
A History of Until 137
Distributed Temporal Logic for the Analysis of Security Protocol Models 136
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 136
Alice and Bob: Reconciling Formal Models and Implementation 135
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection 131
An Environmental Paradigm for Defending Security Protocols 129
Security is Beautiful 129
A Qualitative Modal Representation of Quantum Register Transformations 128
Towards a Logical Framework for Reasoning about Risk 124
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 123
Access Controlled Temporal Networks 121
Security is Beautiful (Transcript of Discussion) 119
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 118
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 116
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 115
Using interpolation for the verification of security protocols 115
Conditional Simple Temporal Networks with Uncertainty and Resources 114
A Modular Presentation of Modal Logics in a Logical Framework 112
A New Method for Bounding the Complexity of Modal Logics 112
A Formalization of Off-Line Guessing for Security Protocol Analysis 111
A Labeled Natural Deduction System for a Fragment of CTL∗ 109
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 109
Labelled quantified modal logics 107
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment 106
An automated approach for testing the security of web applications against chained attacks 105
A Recipe for the Complexity Analysis of Non-Classical Logics 103
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 102
A Formal Data-Model of the CORBA Security Service 102
A Topography of Labelled Model Logics 101
Attack Interference: A Path to Defending Security Protocols 101
Back from the future 100
Modal Deduction Systems for Quantum State Transformations 100
A complete tableau procedure for risk analysis 100
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 99
Constraint Networks Under Conditional Uncertainty 99
A Formal Approach to Analyzing Cyber-Forensics Evidence 99
An On-The-Fly Model-Checker for Security Protocol Analysis 98
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 98
A Formal Analysis of the CORBA Security Service 97
Labelled Propositional Modal Logics: Theory and Practice 96
SEL Compiler and Abstract Analyzers 96
A labeled tableaux system for the Distributed Temporal Logic DTL 96
Natural Deduction for Non-Classical Logics 94
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities 94
OFMC: A Symbolic Model-Checker for Security Protocols 93
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 93
Labelled natural deduction for a bundled branching temporal logic 93
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 93
Labelled Modal Logics: Quantifiers 92
Labelled Non-Classical Logics 92
Building and executing proof strategies in a formal metatheory 91
Modal Specifications of Trace-Based Security Properties 90
Modal logics K, T, K4, S4: labelled proof systems and new complexity results 89
Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity 88
Algebraic Intruder Deductions 88
Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract) 88
SecTest 2011, the Second International Workshop on Security Testing 88
Truth-values as labels: a general recipe for labelled deduction 87
Labelled Deduction 85
Towards an awareness-based semantics for security protocol analysis 85
Automated Security Protocol Analysis With the AVISPA Tool 84
Security Constraints in Temporal Role-Based Access-Controlled Workflows 84
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 83
Deconstructing Alice and Bob 83
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols 82
Labeled natural deduction systems for a family of tense logics 82
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 82
My Galois 81
On the semantics of Alice&Bob specifications of security protocols 80
Fibring Labelled Deduction Systems 78
Towards a Metalogic for Security Protocol Analysis 77
Implementing modal and relevance logics in a logical framework 77
Tableau systems for reasoning about risk 77
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 77
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 76
The AVISS Security Protocol Analysis Tool 76
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 76
Formalizing and Analyzing Sender Invariance 75
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract) 75
Conditional Uncertainty in Constraint Networks 75
Labelled Deduction over Algebras of Truth-Values 74
Secure Pseudonymous Channels 74
Metareasoning about Security Protocols using Distributed Temporal Logic 74
Galois 74
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA’05)" 74
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 74
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols 73
Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)" 73
Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning) 73
Totale 10.338
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.142
article - articoli 13.787
book - libri 599
conference - conferenze 24.451
curatela - curatele 1.057
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.248
Totale 82.284
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021754 0 0 41 159 106 110 16 89 68 14 107 44
2021/2022989 58 312 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/20261.194 508 318 368 0 0 0 0 0 0 0 0 0
Totale 11.488