THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng | |
---|---|
Số trang | 70 |
Dung lượng | 2,6 MB |
Nội dung
Ngày đăng: 09/12/2016, 01:24
Nguồn tham khảo
Tài liệu tham khảo | Loại | Chi tiết |
---|---|---|
[1]. Automated Verification of Exam, Cash, Reputation, and Routing Protocols. 18 September 2015, by Dr. Steve KREMER Inria Nancy – Grand Est, LORIA, Président | Khác | |
[2]. DOCTEUR DE L’UNIVERSITE DU ´ LUXEMBOURG EN INFORMATIQUE by Rosario GIUSTOLISI Born on 16 October 1983 in Giarre (Italy): Design and Analysis of Secure Exam Protocols | Khác | |
[3]. Formal Verification of Security Protocol Implementations: A Survey. By Matteo Avalle, Riccardo Sisto ( Politecnico di Torino, Italy) and Alfredo Pironti ( INRIA Paris–Rocquencourt, France) | Khác | |
[4]. Verification of Security Protocols . V´eronique Cortier LORIA, CNRS, Nancy, France | Khác | |
[5]. Approaches to Formal Verification of Security Protocols Suvansh Lal, Mohit Jain, Vikrant Chaplot Dhirubhai Ambani Institute of Information and Communication Technology | Khác |
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN