Formal models and techniques for analyzing security protocols
में बचाया:
| निगमित लेखक: | |
|---|---|
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Washington, D.C. :
IOS Press,
2011.
|
| श्रृंखला: | Cryptology and information security series ;
v. 5. |
| विषय: | |
| ऑनलाइन पहुंच: | An electronic book accessible through the World Wide Web; click to view |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| भौतिक वर्णन: | vii, 303 p. : ill. |
|---|---|
| ग्रन्थसूची: | Includes bibliographical references and index. |
| आईएसएसएन: | 1871-6431 ; |