Title of article
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)
Author/Authors
Pierpaolo Degano، نويسنده , , Ralf Kusters، نويسنده , , Luca Vigan?، نويسنده , , Steve Zdancewic، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
1
From page
129
To page
129
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262455
Link To Document