Publications

AuthID
P-007-CF3

Author(s)

Viganò, L

Basin, DA

Editor(s)

Armando,A;Vigano,L

Document Type

Proceedings Paper

Year published

2004

Published

in ARSPA@IJCAR, ISSN: 1571-0661

Volume: 125, Issue: 1, Pages: 67-89

Conference

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (Arspa 2004), Date: 4 July 2004 through 4 July 2004

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.entcs.2004.05.020

Dblp: journals/entcs/CaleiroVB05

Scopus: 2-s2.0-14044252798

Source Identifiers

ISSN: 1571-0661

Export Publication Metadata

Marked List

Info

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

Useful Links