| Type |  Book |
| ชื่อเรื่อง | การใช้ Formal Method เพื่ออธิบายการเปลี่ยนแปลงของการควบคุมการใช้ทรัพยากรในระบบปฏิบัติการ Windows NT = A Formal Method for dynamic Access Control in Windows NT |
| ผู้แต่ง | อรวรรณ ตันสังวรณ์ |
| ISBN | 9746280759 |
| พิมพลักษณ์ | 2543 |
| รูปเล่ม | 115 หน้า : ภาพประกอบ |
| หัวเรื่อง | Access control in computers |
| | วิทยานิพนธ์ |