 |
DDC
| 005.8 | |
Tác giả CN
| Nguyễn Mạnh Dương | |
Nhan đề
| Nghiên cứu ứng dụng công cụ PROVERIF trong kiểm chứng giao thức an toàn :Đồ án AT17 /Nguyễn Mạnh Dương;Nguyễn Đình Chiến hướng dẫn | |
Thông tin xuất bản
| H. :Học viện KTMM,2024 | |
Mô tả vật lý
| 68 tr. ;27 cm. | |
Từ khóa tự do
| Nghiên cứu | |
Từ khóa tự do
| Công cụ PROVERIF | |
Từ khóa tự do
| Đồ án AT17 | |
Từ khóa tự do
| Kiểm chứng | |
Từ khóa tự do
| Giao thức an toàn | |
Tác giả(bs) CN
| | |
Tác giả(bs) CN
| | |
Tác giả(bs) CN
| | |
Địa chỉ
| 100Kho Đọc(1): 402000523 |
| | 000 | 00000nam#a2200000ui#4500 |
|---|
| 001 | 10828 |
|---|
| 002 | 3 |
|---|
| 004 | 299CDC70-8F5A-4EEC-913D-9A44CA0F1FC7 |
|---|
| 005 | 202504080949 |
|---|
| 008 | 081223s2024 vm| vie |
|---|
| 009 | 1 0 |
|---|
| 020 | |cTài liệu nội sinh |
|---|
| 039 | |y20250408094853|zthuyntp |
|---|
| 040 | |aACTVN |
|---|
| 082 | 04|a005.8|bNGD |
|---|
| 100 | 10|aNguyễn Mạnh Dương |
|---|
| 245 | 10|aNghiên cứu ứng dụng công cụ PROVERIF trong kiểm chứng giao thức an toàn :|bĐồ án AT17 /|cNguyễn Mạnh Dương;Nguyễn Đình Chiến hướng dẫn |
|---|
| 260 | |aH. :|bHọc viện KTMM,|c2024 |
|---|
| 300 | |a68 tr. ;|c27 cm. |
|---|
| 653 | |aNghiên cứu |
|---|
| 653 | |aCông cụ PROVERIF |
|---|
| 653 | |aĐồ án AT17 |
|---|
| 653 | |aKiểm chứng |
|---|
| 653 | |aGiao thức an toàn |
|---|
| 700 | 10|eHướng dẫn khoa học |
|---|
| 700 | 10|eHướng dẫn khoa học |
|---|
| 700 | 10|eHướng dẫn khoa học |
|---|
| 852 | |a100|bKho Đọc|j(1): 402000523 |
|---|
| 856 | 1 |uhttps://thuvien.actvn.edu.vn/KIPOSDATA1/AnhBia/DoAn_thumbnail.jpg |
|---|
| 890 | |a1|b0|c1|d1 |
|---|
|
| Dòng |
Mã vạch |
Nơi lưu |
S.gọi Cục bộ |
Phân loại |
Bản sao |
Tình trạng |
Thành phần |
Đặt mượn tài liệu |
|
1
|
402000523
|
Kho Đọc
|
005.8 NGD
|
Luận văn, Luận án
|
1
|
|
|
|
|
|
|
|
|