مرکز منطقه ای اطلاع رساني علوم و فناوري - Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)

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 :

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 :