Publicações

AuthID
P-007-DRH

Author(s)

Vigano, L

Basin, D

Editor(es)

Degano P.Vigano L.

Tipo de Documento

Article

Year published

2005

Publicado

in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 135, Número: 1, Páginas: 3-22

Conference

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (Arspa 2005), Date: 16 July 2005 through 16 July 2005

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.entcs.2005.06.007

SCOPUS: 2-s2.0-23144446730

Source Identifiers

ISSN: 1571-0661

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis