Title of article
A Calculus for Cryptographic Protocols: The Spi Calculus
Author/Authors
Mart?n Abadi، نويسنده , , Andrew D. Gordon، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
70
From page
1
To page
70
Journal title
Information and Computation
Serial Year
1999
Journal title
Information and Computation
Record number
261809
Link To Document