Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/19998
Title: A coordination-based methodology for security protocol verification
Authors: Baldi, G
Bracciali, A
Ferrari, G
Tuosto, E
First Published: 4-Feb-2005
Citation: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 121 (SPEC. ISS.), pp. 23-46
DOI Link: 10.1016/j.entcs.2004.10.006
ISSN: 1571-0661
Links: http://hdl.handle.net/2381/19998
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.