| Type |  Book |
| ชื่อเรื่อง | การเจาะจงรายละเอียดและการพิสูจน์ตรวจสอบแบบจำลองสำหรับการควบคุมการเข้าถึงข้อมูลสารสนเทศ = Formal specification and verification of security models for access control / ยงยุทธ เพิ่มพูนธนลาภ |
| ผู้แต่ง | ยงยุทธ เพิ่มพูนธนลาภ |
| พิมพลักษณ์ | กรุงเทพฯ : มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี, 2544 |
| รูปเล่ม | 31 หน้า : ภาพประกอบ |
| หัวเรื่อง | Computer security |
| | Access control in computers |