Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)

Thumbnail
Metadata only
Author
Degano, Pierpaolo
Küsters, Ralf
Viganò, Luca
Zdancewic, Steve
Show all
Date
2008
Type
    Other Conference Item
Publication status
published
External links
Journal / series
Information and Computation
Volume
206(2-4)
Pages / Article No.
129 - 129
Publisher
Elsevier
Event
Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis 2006 (FCS-ARSPA ’06), Seattle, USA, August 15-16, 2006
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Received 20 November 2007, Accepted 20 November 2007, Available online 4 December 2007..
More
Show all metadata
ETH Bibliography
yes
Altmetrics