ยงยุทธ เพิ่มพูนธนลาภ. 2552. วิธีการแบบฟอร์มอล เพื่อการวิเคราะห์การจู่โจมในโพรโตคอลที่ใช้เทคนิคการเข้ารหัสข้อมูลและเครือข่ายคอมพิวเตอร์. กรุงเทพฯ:ภาควิชาวิศวกรรมคอมพิวเตอร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี; DOI : https://doi.nrct.go.th/ListDoi/listDetail?Resolve_DOI=10.14457/KMUTT.res.2009.50

ยงยุทธ เพิ่มพูนธนลาภ. วิธีการแบบฟอร์มอล เพื่อการวิเคราะห์การจู่โจมในโพรโตคอลที่ใช้เทคนิคการเข้ารหัสข้อมูลและเครือข่ายคอมพิวเตอร์. กรุงเทพฯ:ภาควิชาวิศวกรรมคอมพิวเตอร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี, 2552. Print. DOI : https://doi.nrct.go.th/ListDoi/listDetail?Resolve_DOI=10.14457/KMUTT.res.2009.50

ยงยุทธ เพิ่มพูนธนลาภ. (2552) วิธีการแบบฟอร์มอล เพื่อการวิเคราะห์การจู่โจมในโพรโตคอลที่ใช้เทคนิคการเข้ารหัสข้อมูลและเครือข่ายคอมพิวเตอร์. ภาควิชาวิศวกรรมคอมพิวเตอร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี:กรุงเทพฯ. DOI : https://doi.nrct.go.th/ListDoi/listDetail?Resolve_DOI=10.14457/KMUTT.res.2009.50