รศ.ดร.ยงยุทธ เพิ่มพูนธนลาภ
รศ.ดร.ยงยุทธ เพิ่มพูนธนลาภ
Yongyuth Permpoontanalarp (Assoc. Prof.)

ตำแหน่ง รองศาสตราจารย์
หน่วยงาน ภาควิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์
โทรศัพท์ 0-2470-9087 โทรสาร 0-2872-5050
E-mail Address : yongyuth@cpe.kmutt.ac.th
ประวัติการศึกษา
ปีที่จบ ระดับ
การศึกษา
วุฒิการศึกษา/
ประกาศนียบัตร
สาขา วิชาเอก ชื่อสถาบัน ประเทศ
2541 ปริญญาเอก Ph.D. Computing - Imperial College of
Science, Technology
and Medicine
University of London
อังกฤษ
2536 ปริญญาโท M.Sc. Computing - Imperial College of
Science, Technology
and Medicine
University of London
อังกฤษ
2533 ปริญญาตรี
เกียรตินิยม
อันดับ 2
วท.บ. วิทยาการ
คอมพิวเตอร์
- มหาวิทยาลัย
หอการค้าไทย
ไทย
สาขาวิชาที่ทำวิจัย
   - Computer Security
   - Temporal Logic and Reasoning about Actions
   - Logic Programming
   - Logic for Artificial Intelligence
ประสบการณ์งานวิจัยทั้งภายในและต่างประเทศ
งานวิจัยที่ทำเสร็จ
ชื่อเรื่อง ปีที่ทำเสร็จ สถานภาพ
การเจาะจงรายละเอียดและการพิสูจน์ตรวจสอบแบบจำลองสำหรับการควบคุมการเข้าถึงข้อมูลสารสนเทศ [มจธ.42] 2544 หัวหน้าโครงการ
ระเบียบวิธีการแบบตรรกศาสตร์ สำหรับการรักษาความปลอดภัยในคอมพิวเตอร์ (ระยะที่ 3) [หมวดเงินอุดหนุน44] 2546 หัวหน้าโครงการ
การศึกษาวิธีแบบฟอร์มอลสำหรับการรักษาความมั่นคงปลอดภัยในอินเทอร์เน็ตในระดับแอ๊พพริเคชั่น [หมวดเงินอุดหนุน50] 2550 หัวหน้าโครงการ
การศึกษาวิธีแบบฟอร์มอลเพื่อการออกแบบ และวิเคราะห์ขั้นตอนการติดต่อสื่อสารที่ใช้เทคนิคการเข้ารหัสข้อมูล [หมวดเงินอุดหนุน51] 2551 หัวหน้าโครงการ
งานวิจัยที่กำลังทำ
ชื่อเรื่อง สถานภาพ
วิธีการรวมแบบตรรกศาสตร์สำหรับนโยบายการรักษาความปลอดภัยในคอมพิวเตอร์ [สกว.42-43] หัวหน้าโครงการ
งานวิจัยที่ได้ตีพิมพ์เผยแพร่
วารสารระดับนานาชาติ/ภูมิภาค
Permpoontanalarp, Y. and Changkhanak, A., 2012, "On-the-fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic property: A Petri Nets-based Method", IEICE Transactions on Information and Systems, Vol. E95-D, No. 1, January, pp. 215-229.
Permpoontanalarp, Y. and Sornkhom, P., "On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method", Fundamenta Informaticae, accepted.
Permpoontanalarp, Y. and Changkhanak, A., "On-the-fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-based Method", IEICE Transactions on Information and Systems, accepted.
วารสารระดับประเทศ
ยงยุทธ เพิ่มพูนลาภ, 2553, “การวิเคราะห์ความมั่นคงปลอดภัยที่ได้รับการปรับปรุงให้ดีขึ้นของโพรโตคอลสำหรับการเซ็นสัญญาที่มีความยุติธรรมของมิคาลี่ โดยใช้คัลเลอร์เพทริเน็ต”, วารสารวิทยาศาสตร์ มศว., ปีที่ 26, ฉบับที่ 2, ธันวาคม, หน้า 153-175.
ยงยุทธ เพิ่มพูนธนลาภ, 2544, "Reasoning about Access Control in Windows NT", Engineering Transactions, ปีที่ 4, ฉบับที่ 1, มกราคม-เมษายน.
รายงานการประชุมทางวิชาการระดับนานาชาติ
Permpoontanalarp, Y. and Hoewtheerakul, V., 2012, "Security Analysis of Public-Key Kerberos by using Coloured Petri Nets", The Third International Conference on Information and Communication Technology for Embedded Systems (ICICTES 2012), March 22-24, VIE Hotel, Bangkok, Thailand.
Permpoontanalarp, Y. and Changkhanak, A., 2011, "Security Analysis of the TMN protocol by using Coloured Petri Nets : On-the-fly Trace generation method and Homomorphic Property", The 8th International Joint Conference on Computer Science and Software Engineering (JCSSE2011), May 11-13, Mahidol University, Nakhon Pathom, Thailand.
Changkhanak, A. and Permpoontanalarp, Y., 2010, "Towards a Complete Security Analysis of the TMN protocol by using Coloured Petri Nets : Multi-session and the Homomorphic Property, The 3rd Joint International Information & Communication Technology, Electronic and Electrical Engineering (JICTEE 2010), December 21-24, Luangeprabang, Lao PDR.
Permpoontanalarp, Y., 2010, "On-the-fly Trace Generation and Textual Trace Analysis and their applications to the analysis of Cryptographic Protocols", The 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), June 7-9, Amsterdam, Netherlands.
Permpoontanalarp, Y. and Changkhanak, A., 2010, "Security Analysis of the TMN protocol by using Coloured Petri Nets : Multi-session Case and the Homomorphic Property", The 7th International Joint Conference on Computer Science and Software Engineering (JCSSE 2010), May 12-14, Ramkhamhaeng University, Bangkok, Thailand.
Permpoontanalarp, Y., 2009, “Security Analysis of the TMN protocol by using Coloured Petri Nets : Multi-Session Case”, The 10th International Conference on Intelligent Technologies (Intech 2009), December 12 -15, Quangxi Normal University, Guilin, China.
Pipattanasakul, S. and Permpoontanalarp, Y., 2009, “A Graph-based Methodology for Analyzing Firewall Rules: Case Study and Implementation”, International Conference on Software Engineering and Computer Systems (ICSECS 2009), October 19-21, Swiss-Garden Resort & Spa, Kuantan, Pahang, Malaysia.
Permpoontanalarp, Y. and Sornkhom, P., 2009, “A New Coloured Petri Net Methodology for the Security Analysis of Cryptographic Protocols”, The 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN-09), October 19–21, CAB INN Aarhus, Aarhus, Denmark.
Sornkhom, P. and Permpoontanalarp, Y., 2009, “Security Analysis of Micali’s Fair Contract Signing Protacol by Using Petri Nets:Multi-session Case”, The 5th International Workshop on Security in Systems and Networks (SSN 2009), May 25-29, Aurelia Convention Centre, Rome, Italy.
Sornkhom, P., and Permpoontanalarp, Y., 2008, "Multi-Session Security Analysis of Micali's Fair Contract Signing Protocol by Using ColouredPetri Nets : Preliminary Results", Commemorative International Conference on the Occasion of the 4th Cycle Celebration of KMUTT (SDSE 2008), April 7-9, 2009, Millennium Hilton Bangkok Hotel, Bangkok, Thailand, p. 307.
Permpoontanalarp Y. and Pipattanasakul S., 2008, "A Simplified Graph-based Methodology for Analyzing Firewall Rules", The 2008 Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON 2008), May 14-17, Maritime Park and Spa Resort, Krabi, Thailand, pp. 105-108.
Pipattanasakul, S. and Permpoontanalarp, Y., 2008, "A Graph-based Methodology for Analyzing Firewall Rules with Services", International Symposium on Communications and Information Technologies 2008 (ISCIT 2008), October 21-23, Don Chanh Palace Hotel, Vientiane, Lao PDR, pp. 340-345.
Sornkhom, P. and Permpoontanalarp, Y., 2008, "Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets", The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2008), August 6 - 8, Hilton Phuket Arcadia Resort & Spa, Phuket, Thailand.
Sornkhom, P. and Permpoontanalarp, Y., 2008, "Modeling and Verifying Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets", The 2nd Technology and Innovation for Sustainable Development Conference (TISD2008), January 28-29, Hotel Sofitel Raja Orchid, Khon Kaen, Thailand, pp. 421-426.
Permpoontanalarp, Y. and Kanokkanjanapong, J., 2008, "Dynamic Undeniable Fair Certified Email with DDoS Protection", The IEEE 22nd International Conference on Advanced Information Networking and Applications (AINA2008), March 25-28, Ginowan City, Okinawa, Japan, pp. 763-770.
Permpoontanalarp, Y. and Rujiwattanaphong, W., 2007, "An Improved Method to Analyze Cryptographic Protocols by using Coloured Petri Nets", The 1st Joint International Conference on Information and Communication Technology (JICT 2007), December 19-22, Don Chan Palace Hotel, Vientiane, Lao PDR.
Permpoontanalarp, Y. and Apiromvorakarn, M., 2007, "Undeniable Fair Electronic Auction", The 4th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON 2007), May 9-12, Mae Fah Luang University, Chiang Rai, Thailand.
Permpoontanalarp, Y. and Kanokkanjanapong, J., 2007, "Undeniable Certified Email with DoS Prevention", The 4th International Joint Conference on Computer Science and Software Engineering (JCSSE), May 2-4, Hotel Sofitel Raja Orchid, Khon Kaen, Thailand.
Buntalar, C. and Permpoontanalarp, Y., 2007, "An Improved Graph Model for Analyzing Firewall Configurations", The 4th International Joint Conference on Computer Science and Software Engineering (JCSSE), May 2-4, Hotel Sofitel Raja Orchid, Khon Kaen, Thailand.
Apiromvorakarn, M. and Permpoontanalarp, Y., 2006, "Undeniable Fair Exchange", The 6th WSEAS International Conference on MULTIMEDIA, INTERNET & VIDEO TECHNOLOGIES (MIV'06), September 22-24, Lisbon, Portugal.
Santiraveewan, V. and Permpoontanalarp, Y., 2004, "A Graph-based Methodology for Analyzing IP Spoofing Attack", The 18th International Conference on Advanced Information Networking and Applications (AINA 2004), March 29-31, Fukuoka, Japan, pp. 227-230.
Prakobpol, N. and Permpoontanalarp, Y., 2003, "Multi-dimensional Hash Chain for Sealed-Bid Auction", The 4th International Workshop on Information Security Applications, Springer Verlag, Korea, pp. 257-271.
Chaiyarangkitrat, S. and Permpoontanalarp, Y., 2002, "An Adaptive Agent Approach to Micropayment System", International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2002), July 16-19, Phuket, Thailand, pp. 1331-1334.
Dangprasert, S. and Permpoontanalarp, Y., 2002, "Reasoning about Multiple Access Control Configurations", International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2002), July 16-19, Phuket, Thailand, pp. 2047-2050.
Permpoontanalarp, Y. and Rujimethabhas, C., 2001, "A Unified Methodology for Verification and Synthesis of Firewall Configurations", The 3rd International Conference on Information and Communications Security (ICICS), November 13-16, China.
Rujimethabhas, C. and Permpoontanalarp, Y., 2001, "A Graph Theoretic Model for Hardware-based Firewalls", The 9th IEEE International Conference on Networks, October 10-12, Bangkok, Thailand.
Yuwathiticharoenwong, U. and Permpoontanalarp, Y., 2001, "An Agent-based Approach to Micropayment System", The 2001 International Conference on Information Technology for the New Millennium (IConIT'2001), May 28-30, Bangkok, Thailand.
Kungpisdan, S. and Permpoontanalarp, Y., 2001, "Practical Reasoning about Accountability in Electronic Commerce Protocols", The 4th International Conference on Information Security and Cryptology (ICISC) , December 6-7, Seoul, South Korea, pp. 303-318.
รายงานการประชุมทางวิชาการระดับประเทศ
ยงยุทธ เพิ่มพูนธนลาภ และอภิชัย ชังคะนาค, 2552, “Security Analysis of the TMN protocol by using Coloured Petri Nets : Single Session Case”, งานสัมมนาวิชาการด้านคอมพิวเตอร์และวิศวกรรมแห่งชาติ ครั้งที่ 13, 4-6 พฤศจิกายน, โรงแรมมณเฑียร ริเวอร์ไซด์, กรุงเทพฯ, หน้า 128-133.
ศราวุฒิ พิพัฒนสกุล และยงยุทธ เพิ่มพูนธนลาภ, 2552, "วิธีการแบบกราฟโมเดลที่มีประสิทธิภาพเพื่อใช้วิเคราะห์กฎไฟร์วอลล์", งานสัมมนาวิชาการด้านคอมพิวเตอร์และวิศวกรรมแห่งชาติ ครั้งที่ 13, 4-6 พฤศจิกายน, โรงแรมมณเฑียร ริเวอร์ไซด์, กรุงเทพฯ, หน้า 91-96.
ศราวุฒิ พิพัฒนสกุล และยงยุทธ เพิ่มพูนธนลาภ, 2551, “วิธีการวิเคราะห์กฎไฟร์วอลล์และเซอร์วิสโดยการใช้กราฟโมเดล”, งานสัมมนาวิชาการด้านคอมพิวเตอร์และวิศวกรรมแห่งชาติ ครั้งที่ 12, 20-21 พฤศจิกายน, โรงแรมลองบีชการ์เด้น โฮเตล แอนด์ สปา, จ.ชลบุรี, หน้า 233-240.
พงษ์ทศพร จุลโลบลและยงยุทธ เพิ่มพูนธนลาภ, 2550, “Formal Model and Analysis of SSL/TLS using Coloured Petri Nets”, การประชุมวิชาการทางวิศวกรรมไฟฟ้า ครั้งที่ 30, 25-26 ตุลาคม, โรงแรมเฟลิกซ์ริเวอร์แควรีสอร์ท, จ.กาญจนบุรี, หน้า 657-664.
ดิลก เกียรติ์เลิศนภา และยงยุทธ เพิ่มพูนธนลาภ, 2548, "A Simple Timestamp-based Forard Signature System", การประชุมวิชาการทางวิศวกรรมไฟฟ้า ครั้งที่ 28, 20-21 ตุลาคม, โรงแรมเพิร์ล วิลเลจ, จ.ภูเก็ต, หน้า 857-860.
นาตยา อรรถาเวช และยงยุทธ เพิ่มพูนธนลาภ, 2547, "A Practical Cryptographic Approach to fight Spam", The 1st Electrical Engineering/Electronics Computer, Telecommunications, and Information Technology Annual Conference (ECTI-CON 2004), 13-14 พฤษภาคม, โรงแรมอมารี ออคิด รีสอร์ต, จ.ชลบุรี, หน้า 169 - 172.
วรวุฒิ สันติรวีวรรณ และยงยุทธ เพิ่มพูนธนลาภ, 2546, "A Verification Methodology for Analyzing IP Spoofing Attack", The 7th National Computer Science and Engineering Conference (NCSEC 2003), 28-30 ตุลาคม, มหาวิทยาลัยบูรพา, จ.ชลบุรี, หน้า 276-281.
ตวงพร ตันติเฉลิมพันธุ์ และยงยุทธ เพิ่มพูนธนลาภ, 2546, "A Simple Approach to Conflict Resolution for Access Control in XML", The 7th National Computer Science and Engineering Conference (NCSEC 2003), 28-30 ตุลาคม, มหาวิทยาลัยบูรพา, จ.ชลบุรี, หน้า 109-114.
Bussabong Silawatcharapol และยงยุทธ เพิ่มพูนธนลาภ, 2544, "A Truly Fair Electronic Auction Protocol", การประชุมวิชาการทางวิศวกรรมไฟฟ้า ครั้งที่ 24 (EECON-24), 22-23 พฤศจิกายน, สถาบันเทคโนโลยีพระจอมเกล้าเจ้าคุณทหารลาดกระบัง, กรุงเทพฯ, หน้า 1392-1396.
Jiraporn Sukhakul และยงยุทธ เพิ่มพูนธนลาภ, 2544, "A Logic-based Methodology for Multilevel Secure Database", การประชุมวิชาการทางวิศวกรรมไฟฟ้า ครั้งที่ 24 (EECON-24), 22-23 พฤศจิกายน, สถาบันเทคโนโลยีพระจอมเกล้าเจ้าคุณทหารลาดกระบัง, กรุงเทพฯ, หน้า 1362-1367.
อุไรลักษณ์ ยุวธิติเจริญวงศ์ และยงยุทธ เพิ่มพูนธนลาภ, 2543, "E-Wallet: A Simple Micropayment for Thailand", The 4th National Computer Science and Engineering Conference (NCSEC 2000), 16-17 พฤศจิกายน, ศูนย์การประชุมแห่งชาติสิริกิติ์, กรุงเทพฯ.
อมร เสวลาภี และยงยุทธ เพิ่มพูนธนลาภ, 2543, "การประยุกต์คุณสมบัติ Atomicity ใน Secure Electronic Transaction (SET) Payment Protocol", The 4th National Computer Science and Engineering Conference (NCSEC 2000), 16-17 พฤศจิกายน, ศูนย์การประชุมแห่งชาติสิริกิติ์, กรุงเทพฯ.
สุรทัศน์ ไตรติลานนท์ และยงยุทธ เพิ่มพูนธนลาภ, 2543, "ระบบการชำระเงินที่ง่ายและเหมาะสมสำหรับพาณิชย์อิเล็กทรอนิกส์ในประเทศไทย", The 4th National Computer Science and Engineering Conference (NCSEC 2000), 16-17 พฤศจิกายน, ศูนย์การประชุมแห่งชาติสิริกิติ์, กรุงเทพฯ.
ชัยวัฒน์ รุจิเมธาภัศ และยงยุทธ เพิ่มพูนธนลาภ, 2543, "Reasoning about Firewalls", The 4th National Computer Science and Engineering Conference (NCSEC 2000), 16-17 พฤศจิกายน, ศูนย์การประชุมแห่งชาติสิริกิติ์, กรุงเทพฯ.
Permpoontanalarp Y., 1999, "On the Relationship between Situation/Event Calculi and Dynamic Logic", National Computer Science and Engineering Conference, Thailand, 1999. (in Thai)

return topic