Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Vigan{\`o}, Luca"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
Pedro Adão
,
Paulo Mateus
,
Luca Viganò
Theoretical Computer Science
538
, 2014, pp. 2-15
Distributed temporal logic for the analysis of security protocol models
David Basin
,
Carlos Caleiro
,
Jaime Ramos
,
Luca Viganò
Theoretical Computer Science
412
(31), 2011, pp. 4007-4043
On the semantics of Alice&Bob specifications of security protocols
Carlos Caleiro
,
Luca Viganò
,
David Basin
Theoretical Computer Science
367
(1-2), 2006, pp. 88-122