Formal Correctness of Security Protocols
| Tác giả: | Giampaolo Bella |
| Nhà xuất bản: | Springer |
| Năm xuất bản: | 2007 |
| Lần xuất bản: | |
| Loại tiêu chuẩn | |
| Số trang: | 281 |
| Tóm tắt: | Chứng minh tính đúng đắn của giao thức bảo mật. Các giao thức kiểm tra bao gồm các phiên bản Kerberos, các giao thức thông minh, các giao thức chống chối bỏ và các email được chứng nhận |
| Từ khóa | an ninh giao thức,Smartcard,kỹ thuật |
| Tải tài liệu | Tải về |
Chuyên trang
Tìm kiếm sách