| Type |  Book |
| ชื่อเรื่อง | การศึกษาวิธีแบบฟอร์มอลเพื่อการออกแบบและวิเคราะห์ ขั้นตอนการติดต่อสื่อสารที่ใช้เทคนิคการเข้ารหัสข้อมูล = A study on formal methods for design and analysis of cryptographic protocols / ยงยุทธ เพิ่มพูนธนลาภ |
| ผู้แต่ง | ยงยุทธ เพิ่มพูนธนลาภ |
| พิมพลักษณ์ | กรุงเทพฯ : มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี, 2551 |
| รูปเล่ม | 1 เล่ม : ภาพประกอบ |
| หัวเรื่อง | Firewalls (Computer security) |
| | KMUTT research reports |
| | ไฟร์วอลล์ (ความปลอดภัยในระบบคอมพิวเตอร์) |