| 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 | Tiêu chuẩn Việt Nam |
| 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 | Formal Correctness of Security Protocols |
