ProfileOfResearchers

TÃTULO: Metareasoning about Security Protocols using Distributed Temporal Logic
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 125, NÚMERO: 1

INDEXADO EM:

DBLP

TÃTULO: Deconstructing Alice and Bob
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 135, NÚMERO: 1

INDEXADO EM:

DBLP

TÃTULO: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
AUTORES: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLICAÇÃO: 2005, FONTE: Logic Journal of the IGPL, VOLUME: 13, NÚMERO: 6

INDEXADO EM:

DBLP

Página 2 de 2. Total de resultados: 13.

Links Úteis