Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)
- Other Conference Item
Journal / seriesInformation and computation
Pages / Article No.
Organisational unit03634 - Basin, David
NotesReceived 20 November 2007, Accepted 20 November 2007, Available online 4 December 2007..
MoreShow all metadata