Luca Vigano
AuthID: R-00H-B6F
11
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
DBLP12
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
DBLP13
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