Title of article :
On the freedom of decryption
Author/Authors :
Jonathan Millen، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2003
Keywords :
formal methods , Security , cryptography , Strand spaces
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters