Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers

• Tác giả: Alessandro Armando, Gavin Lowe
• ISBN-13: 978-3642160745
• Ký hiệu phân loại: 005.824 Computer programming, programs, data
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Mô tả vật lý: IX, 185 p. 39 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 322458
• Chủ đề: 1. Algorithms; 2. Computer networks ; 3. Computers and civilization; 4. Cryptography; 5. Data encryption (Computer science)