Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/12785
Title: A symbolic framework for multi-faceted security protocol analysis
Authors: Bracciali, A
Ferrari, G
Tuosto, E
First Published: Jan-2008
Citation: INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2008, 7 (1), pp. 55-84
DOI Link: 10.1007/s10207-007-0043-9
ISSN: 1615-5262
eISSN: 1615-5270
Links: http://hdl.handle.net/2381/12785
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.