เพิ่มพูนธนลาภ ย. การวิเคราะห์ความมั่นคงปลอดภัยที่ได้รับการปรับปรุงให้ดีขึ้น ของโพรโตคอลสำหรับการเซ็นสัญญาที่มีความยุติธรรมของมิคาลี่ โดยใช้คัลเลอร์เพทริเน็ต (An Improved Security Analysis of Micali’s Fair Contract Signing Protocol by Using Coloured Petri Nets). SEJ [Internet]. 2011 Jan. 20 [cited 2024 Nov. 12];26(2). Available from: https://ejournals.swu.ac.th/index.php/sej/article/view/1269