CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019110 0 0 0 0 0 0 0 0 0 51 19 40
2019/2020941 148 4 18 107 77 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/2024619 50 79 61 92 89 66 48 67 5 62 0 0
Totale 7.997