Luca Vigano
AuthID: R-00H-B6F
11
TITLE: Towards a Quantitative Analysis of Security Protocols
AUTHORS: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, ISSUE: 3
AUTHORS: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, ISSUE: 3
12
TITLE: On the semantics of Alice&Bob specifications of security protocols
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
INDEXED IN: 
DBLP
DBLP13
TITLE: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 125, ISSUE: 1
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 125, ISSUE: 1
INDEXED IN: DBLP
DBLP14
TITLE: Deconstructing Alice and Bob
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 135, ISSUE: 1
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 135, ISSUE: 1
INDEXED IN: DBLP
DBLP15
TITLE: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Logic Journal of the IGPL, VOLUME: 13, ISSUE: 6
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2005, SOURCE: Logic Journal of the IGPL, VOLUME: 13, ISSUE: 6
INDEXED IN: DBLP
DBLP