Title of article
Relating Symbolic and Cryptographic Secrecy
Author/Authors
Michael Backes، نويسنده , , IEEE Birgit Pfitzmann، نويسنده , , IEEE ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
15
From page
109
To page
123
Keywords
Dolev-Yao model , probabilistic computation—cryptography , Simulatability , Secrecy , Relations between models
Journal title
I E E E Transactions on Dependable and Secure Computing
Serial Year
2005
Journal title
I E E E Transactions on Dependable and Secure Computing
Record number
289452
Link To Document