CATALOGO DEI PRODOTTI DELLA RICERCA

VIGANO', Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.151
EU - Europa 3.111
AS - Asia 1.573
AF - Africa 18
SA - Sud America 15
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 4
Totale 8.885
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.122
GB - Regno Unito 1.087
CN - Cina 1.003
SG - Singapore 422
RU - Federazione Russa 361
FR - Francia 315
SE - Svezia 298
IE - Irlanda 250
FI - Finlandia 230
DE - Germania 194
IT - Italia 169
UA - Ucraina 80
BE - Belgio 60
KR - Corea 50
CA - Canada 26
TR - Turchia 26
CM - Camerun 13
VN - Vietnam 13
AU - Australia 12
ES - Italia 12
IN - India 12
NL - Olanda 12
BR - Brasile 9
DK - Danimarca 9
HK - Hong Kong 7
IR - Iran 6
JP - Giappone 6
PL - Polonia 6
LU - Lussemburgo 5
AT - Austria 4
MY - Malesia 4
BD - Bangladesh 3
CH - Svizzera 3
EU - Europa 3
MA - Marocco 3
MX - Messico 3
PK - Pakistan 3
AZ - Azerbaigian 2
EC - Ecuador 2
GR - Grecia 2
HU - Ungheria 2
ID - Indonesia 2
IL - Israele 2
LV - Lettonia 2
MD - Moldavia 2
NO - Norvegia 2
PH - Filippine 2
RO - Romania 2
RS - Serbia 2
SA - Arabia Saudita 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AO - Angola 1
BO - Bolivia 1
CL - Cile 1
CO - Colombia 1
CY - Cipro 1
EE - Estonia 1
HR - Croazia 1
IQ - Iraq 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
TM - Turkmenistan 1
UZ - Uzbekistan 1
Totale 8.885
Salva come PNG Salva come JPEG
Città #
Southend 909
Jacksonville 750
Chandler 655
Woodbridge 581
Ann Arbor 414
Houston 345
Singapore 338
Dublin 250
Ashburn 189
Nanjing 138
Lawrence 118
Princeton 118
Jinan 108
Beijing 99
Wilmington 98
Shenyang 80
Verona 64
Brussels 59
Seoul 50
Changsha 49
Tianjin 44
Hebei 43
Sindelfingen 43
Zhengzhou 41
Nanchang 40
Boardman 38
Lancaster 38
Ningbo 35
Haikou 32
Taizhou 30
Helsinki 26
Hangzhou 23
Milan 23
Santa Clara 23
Taiyuan 21
Guangzhou 19
Norwalk 19
Cambridge 18
Los Angeles 18
Jiaxing 17
Lanzhou 16
Dallas 12
San Francisco 12
New York 11
Toronto 11
Washington 11
Fuzhou 10
Moscow 10
Auburn Hills 9
Seattle 8
Dong Ket 7
Frankfurt am Main 7
Groningen 7
Tappahannock 7
Elora 6
Neubiberg 6
Ottawa 6
Chicago 5
Edinburgh 5
Fairfield 5
Fort Worth 5
Luxembourg 5
Redwood City 5
San Diego 5
Warsaw 5
Yicheng 5
Amsterdam 4
Andover 4
Copenhagen 4
Melbourne 4
Paris 4
Pratovecchio 4
Riva 4
Tokyo 4
Bangalore 3
Boston 3
Canberra 3
Evanston 3
Florence 3
Kemerovo 3
Leawood 3
Madrid 3
Montichiari 3
Qingdao 3
Zanjan 3
Baku 2
Belgrade 2
Chions 2
Clearwater 2
Cupertino 2
Dhaka 2
Erlangen 2
Exeter 2
Fisciano 2
Hong Kong 2
Jakarta 2
Jeffries 2
Kiev 2
Kuradani 2
London 2
Totale 6.299
Salva come PNG Salva come JPEG
Nome #
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 132
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 132
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes 131
Blocking Underhand Attacks by Hidden Coalitions 125
Quantum State Transformations and Branching Distributed Temporal Logic 125
A Deduction System for Meaning Negotiation 121
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 120
Alice and Bob: Reconciling Formal Models and Implementation 117
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures 116
Towards Formal Validation of Trust and Security in the Internet of Services 114
Security is Beautiful 114
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection 113
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 112
Security protocols as environments: A lesson from non-collaboration 111
A History of Until 110
An Environmental Paradigm for Defending Security Protocols 109
A labeled deduction system for the logic UB 105
Security is Beautiful (Transcript of Discussion) 102
Towards a Logical Framework for Reasoning about Risk 101
Using interpolation for the verification of security protocols 100
Distributed Temporal Logic for the Analysis of Security Protocol Models 99
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 98
Conditional Simple Temporal Networks with Uncertainty and Resources 94
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 92
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment 92
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 91
A Qualitative Modal Representation of Quantum Register Transformations 90
Access Controlled Temporal Networks 88
Modal Deduction Systems for Quantum State Transformations 87
A Formal Data-Model of the CORBA Security Service 86
An automated approach for testing the security of web applications against chained attacks 84
A New Method for Bounding the Complexity of Modal Logics 83
SEL Compiler and Abstract Analyzers 83
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 83
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 82
A Recipe for the Complexity Analysis of Non-Classical Logics 82
A Topography of Labelled Model Logics 82
A Labeled Natural Deduction System for a Fragment of CTL∗ 82
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 82
Constraint Networks Under Conditional Uncertainty 82
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 80
Labelled quantified modal logics 80
Building and executing proof strategies in a formal metatheory 80
A Modular Presentation of Modal Logics in a Logical Framework 79
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities 79
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 78
Modal Specifications of Trace-Based Security Properties 77
Back from the future 77
Labelled Non-Classical Logics 76
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 75
A Formalization of Off-Line Guessing for Security Protocol Analysis 74
A Formal Analysis of the CORBA Security Service 74
Attack Interference: A Path to Defending Security Protocols 74
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 73
An On-The-Fly Model-Checker for Security Protocol Analysis 73
Labelled Deduction 73
A labeled tableaux system for the Distributed Temporal Logic DTL 73
SecTest 2011, the Second International Workshop on Security Testing 73
Labelled Modal Logics: Quantifiers 72
OFMC: A Symbolic Model-Checker for Security Protocols 72
Modal logics K, T, K4, S4: labelled proof systems and new complexity results 71
Natural Deduction for Non-Classical Logics 71
Labelled natural deduction for a bundled branching temporal logic 71
Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity 70
Labelled Propositional Modal Logics: Theory and Practice 70
Algebraic Intruder Deductions 70
Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract) 69
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 69
A complete tableau procedure for risk analysis 68
Security Constraints in Temporal Role-Based Access-Controlled Workflows 68
Towards a Metalogic for Security Protocol Analysis 67
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols 67
Towards an awareness-based semantics for security protocol analysis 67
Deconstructing Alice and Bob 67
Tableau systems for reasoning about risk 67
A Formal Approach to Analyzing Cyber-Forensics Evidence 67
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 66
The AVISS Security Protocol Analysis Tool 66
Truth-values as labels: a general recipe for labelled deduction 66
My Galois 66
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract) 65
On the semantics of Alice&Bob specifications of security protocols 64
Implementing modal and relevance logics in a logical framework 64
Automated Security Protocol Analysis With the AVISPA Tool 63
Fibring Labelled Deduction Systems 62
Formalizing and Analyzing Sender Invariance 62
Labeled natural deduction systems for a family of tense logics 62
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 62
Towards a Quantitative Analysis of Security Protocols 61
Metareasoning about Security Protocols using Distributed Temporal Logic 60
Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning) 60
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA’05)" 60
Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion) 60
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 59
Labelled Deduction over Algebras of Truth-Values 58
Secure Pseudonymous Channels 58
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols 57
Resource Controllability of Workflows Under Conditional Uncertainty 57
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning" 56
Galois 55
Totale 8.132
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.556
article - articoli 10.272
book - libri 449
conference - conferenze 18.101
curatela - curatele 812
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 922
Totale 61.112
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020587 0 0 0 0 0 174 63 67 55 106 21 101
2020/20211.134 158 222 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/2025860 107 219 50 413 67 4 0 0 0 0 0 0
Totale 8.995