Formal models and techniques for analyzing security protocols

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: ebrary, Inc
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: 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 ;