CATALOGO DEI PRODOTTI DELLA RICERCA

VIGANO', Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.099
EU - Europa 2.952
AS - Asia 1.277
AF - Africa 17
OC - Oceania 13
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 4
Totale 8.369
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.071
GB - Regno Unito 1.086
CN - Cina 954
FR - Francia 315
SE - Svezia 298
IE - Irlanda 250
FI - Finlandia 230
RU - Federazione Russa 219
DE - Germania 194
SG - Singapore 185
IT - Italia 161
UA - Ucraina 80
BE - Belgio 59
KR - Corea 50
CA - Canada 26
TR - Turchia 26
CM - Camerun 13
AU - Australia 12
IN - India 12
VN - Vietnam 12
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
MY - Malesia 4
CH - Svizzera 3
EU - Europa 3
MA - Marocco 3
AZ - Azerbaigian 2
BD - Bangladesh 2
BR - Brasile 2
EC - Ecuador 2
GR - Grecia 2
HU - Ungheria 2
IL - Israele 2
LV - Lettonia 2
MD - Moldavia 2
MX - Messico 2
NO - Norvegia 2
PH - Filippine 2
PK - Pakistan 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
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
PE - Perù 1
TM - Turkmenistan 1
UZ - Uzbekistan 1
Totale 8.369
Salva come PNG Salva come JPEG
Città #
Southend 909
Jacksonville 750
Chandler 655
Woodbridge 581
Ann Arbor 414
Houston 345
Dublin 250
Ashburn 184
Nanjing 138
Lawrence 118
Princeton 118
Singapore 115
Jinan 108
Beijing 99
Wilmington 98
Shenyang 80
Verona 63
Brussels 58
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
Taiyuan 21
Guangzhou 19
Norwalk 19
Cambridge 18
Jiaxing 17
Los Angeles 17
Lanzhou 16
Santa Clara 13
Dallas 12
San Francisco 12
New York 11
Toronto 11
Washington 11
Fuzhou 10
Auburn Hills 9
Moscow 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
Andover 4
Copenhagen 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
Baku 2
Belgrade 2
Chions 2
Clearwater 2
Cupertino 2
Dhaka 2
Erlangen 2
Exeter 2
Fisciano 2
Hong Kong 2
Jeffries 2
Kiev 2
Kuradani 2
Lugo 2
Lyngby 2
Manila 2
Totale 6.055
Salva come PNG Salva come JPEG
Nome #
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes 123
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators 122
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 121
A Deduction System for Meaning Negotiation 116
Quantum State Transformations and Branching Distributed Temporal Logic 116
Alice and Bob: Reconciling Formal Models and Implementation 115
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 113
Blocking Underhand Attacks by Hidden Coalitions 113
Security is Beautiful 111
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection 109
A History of Until 107
Security protocols as environments: A lesson from non-collaboration 106
An Environmental Paradigm for Defending Security Protocols 106
Towards Formal Validation of Trust and Security in the Internet of Services 105
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 104
Security is Beautiful (Transcript of Discussion) 101
Towards a Logical Framework for Reasoning about Risk 95
Using interpolation for the verification of security protocols 95
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 94
A labeled deduction system for the logic UB 94
Distributed Temporal Logic for the Analysis of Security Protocol Models 90
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment 89
Conditional Simple Temporal Networks with Uncertainty and Resources 89
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures 88
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 86
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 86
A Qualitative Modal Representation of Quantum Register Transformations 85
Access Controlled Temporal Networks 85
Modal Deduction Systems for Quantum State Transformations 83
A Formal Data-Model of the CORBA Security Service 81
SEL Compiler and Abstract Analyzers 80
An automated approach for testing the security of web applications against chained attacks 80
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 79
A Labeled Natural Deduction System for a Fragment of CTL∗ 79
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 79
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty 79
A New Method for Bounding the Complexity of Modal Logics 78
Labelled quantified modal logics 78
Constraint Networks Under Conditional Uncertainty 78
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 77
A Topography of Labelled Model Logics 77
Building and executing proof strategies in a formal metatheory 77
Modal Specifications of Trace-Based Security Properties 74
A Recipe for the Complexity Analysis of Non-Classical Logics 74
Labelled Non-Classical Logics 73
A Modular Presentation of Modal Logics in a Logical Framework 73
Back from the future 72
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 72
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities 72
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 70
Labelled Deduction 70
SecTest 2011, the Second International Workshop on Security Testing 70
Attack Interference: A Path to Defending Security Protocols 70
Labelled Modal Logics: Quantifiers 69
OFMC: A Symbolic Model-Checker for Security Protocols 69
Algebraic Intruder Deductions 69
A Formal Analysis of the CORBA Security Service 69
A labeled tableaux system for the Distributed Temporal Logic DTL 69
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 69
Modal logics K, T, K4, S4: labelled proof systems and new complexity results 68
Natural Deduction for Non-Classical Logics 68
Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity 67
Labelled Propositional Modal Logics: Theory and Practice 67
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 67
A Formalization of Off-Line Guessing for Security Protocol Analysis 66
An On-The-Fly Model-Checker for Security Protocol Analysis 66
Labelled natural deduction for a bundled branching temporal logic 66
Security Constraints in Temporal Role-Based Access-Controlled Workflows 66
Towards a Metalogic for Security Protocol Analysis 65
Towards an awareness-based semantics for security protocol analysis 65
Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract) 65
On the semantics of Alice&Bob specifications of security protocols 64
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols 64
The AVISS Security Protocol Analysis Tool 64
Deconstructing Alice and Bob 64
Tableau systems for reasoning about risk 64
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 63
Truth-values as labels: a general recipe for labelled deduction 63
My Galois 63
A complete tableau procedure for risk analysis 63
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract) 62
A Formal Approach to Analyzing Cyber-Forensics Evidence 62
Implementing modal and relevance logics in a logical framework 61
Fibring Labelled Deduction Systems 60
Towards a Quantitative Analysis of Security Protocols 60
Automated Security Protocol Analysis With the AVISPA Tool 60
Formalizing and Analyzing Sender Invariance 59
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 59
Labeled natural deduction systems for a family of tense logics 58
Metareasoning about Security Protocols using Distributed Temporal Logic 58
Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning) 58
Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion) 57
Secure Pseudonymous Channels 56
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA’05)" 56
Resource Controllability of Workflows Under Conditional Uncertainty 55
Labelled Deduction over Algebras of Truth-Values 54
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning" 53
Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)" 51
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 51
Preface of the Special Issue on "Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06)" 50
Totale 7.681
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.678
article - articoli 9.280
book - libri 402
conference - conferenze 16.403
curatela - curatele 749
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 844
Totale 55.356
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020789 0 0 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/2024757 50 79 61 92 89 66 48 67 5 72 87 41
2024/2025344 107 219 18 0 0 0 0 0 0 0 0 0
Totale 8.479