Publicações

AuthID
P-004-G0X

Author(s)

Vigano, L

Basin, D

Document Type

Article

Year published

2006

Published

in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975

Volume: 367, Issue: 1-2, Pages: 88-122 (35)

Conference

2Nd Workshop on Automated Reasoning for Security Protocol Analysis, Date: JUL 16, 2005, Location: Lisboa, PORTUGAL

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/j.tcs.2006.08.041

Scopus: 2-s2.0-33750486827

Wos: WOS:000242424300005

Source Identifiers

ISSN: 0304-3975

Export Publication Metadata

Lista Marked

Info

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

Useful Links