ยงยุทธ เพิ่มพูนธนลาภ. (2552) วิธีการแบบฟอร์มอล เพื่อการวิเคราะห์การจู่โจมในโพรโตคอลที่ใช้เทคนิคการเข้ารหัสข้อมูลและเครือข่ายคอมพิวเตอร์ /. ภาควิชาวิศวกรรมคอมพิวเตอร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี,:ม.ป.ท.ยงยุทธ เพิ่มพูนธนลาภ. 2552. วิธีการแบบฟอร์มอล เพื่อการวิเคราะห์การจู่โจมในโพรโตคอลที่ใช้เทคนิคการเข้ารหัสข้อมูลและเครือข่ายคอมพิวเตอร์ /. ม.ป.ท.:ภาควิชาวิศวกรรมคอมพิวเตอร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี,;ยงยุทธ เพิ่มพูนธนลาภ. วิธีการแบบฟอร์มอล เพื่อการวิเคราะห์การจู่โจมในโพรโตคอลที่ใช้เทคนิคการเข้ารหัสข้อมูลและเครือข่ายคอมพิวเตอร์ /. ม.ป.ท.:ภาควิชาวิศวกรรมคอมพิวเตอร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี, 2552. Print.