Sfoglia per Autore
Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract)
2012-01-01 Vigano', Luca
SecTest2012, the Third International Workshop on Security Testing, affiliated with ICST 2012
2012-01-01 Li, Keqin; Mallouli, Wissam; Vigano', Luca
Towards a Logical Framework for Reasoning about Risk
2012-01-01 Cristani, Matteo; Karafili, Erisa; Vigano', Luca
Towards the secure provision and consumption in the internet of services
2012-01-01 Vigano', Luca
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
2013-01-01 Carlos, Caleiro; Vigano', Luca; Volpe, Marco
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities
2013-01-01 Barletta, Michele; Ranise, Silvio; Vigano', Luca
Defining privacy is supposed to be easy
2013-01-01 S., Moedersheim; T., Gross; Vigano', Luca
A labeled deduction system for the logic UB
2013-01-01 C., Caleiro; Vigano', Luca; Volpe, Marco
Using interpolation for the verification of security protocols
2013-01-01 Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove
The SPaCIoS project: Secure provision and consumption in the internet of services
2013-01-01 Vigano', Luca
A complete tableau procedure for risk analysis
2013-01-01 Cristani, Matteo; E., Karafili; Vigano', Luca
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
2014-01-01 Peroli, Michele; Vigano', Luca; Zavatteri, Matteo
Sufficient conditions for vertical composition of security protocols
2014-01-01 S., Moedersheim; Vigano', Luca
Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion)
2014-01-01 Vigano', Luca
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
2014-01-01 P., Adao; P., Mateus; Vigano', Luca
Quantum State Transformations and Branching Distributed Temporal Logic
2014-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Tableau systems for reasoning about risk
2014-01-01 Cristani, Matteo; E., Karafili; Vigano', Luca
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment
2015-01-01 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Vigano', Luca
Alice and Bob: Reconciling Formal Models and Implementation
2015-01-01 Almousa, Omar; Mödersheim, Sebastian; Vigano', Luca
Security is Beautiful (Transcript of Discussion)
2015-01-01 Vigano', Luca
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile