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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=289452
بازگشت