Yongyuth Permpoontanalarp

13 papers A 1B 1C 2Misc 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2014 J jnl
On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method.
Fundam. Informaticae
Yongyuth Permpoontanalarp, Panupong Sornkhom
2012 J jnl
On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method.
IEICE Trans. Inf. Syst.
Yongyuth Permpoontanalarp, Apichai Changkhanak
2010 — conf
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.
FMOODS/FORTE
Yongyuth Permpoontanalarp
2009 A conf
Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case.
IPDPS
Panupong Sornkhom, Yongyuth Permpoontanalarp
2008 B conf
Dynamic Undeniable Fair Certified Email with DDoS Protection.
AINA
Yongyuth Permpoontanalarp, Jatupoom Kanokkanjanapong
2008 C conf
Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets.
SNPD
Panupong Sornkhom, Yongyuth Permpoontanalarp
2004 — conf
A Graph-based Methodology for Analyzing IP Spoofing Attack.
AINA (2)
Voravud Santiraveewan, Yongyuth Permpoontanalarp
2003 Misc conf
Multi-dimensional Hash Chain For Sealed-Bid Auction.
WISA
Navapot Prakobpol, Yongyuth Permpoontanalarp
2001 C conf
A Unified Methodology for Verification and Synthesis of Firewall Configurations.
ICICS
Yongyuth Permpoontanalarp, Chaiwat Rujimethabhas
2001 — conf
A graph theoretic model for hardware-based firewalls.
ICON
Yongyuth Permpoontanalarp, Chaiwat Rujimethabhas
2001 Misc conf
Practical Reasoning about Accountability in Electronic Commerce Protocols.
ICISC
Supakorn Kungpisdan, Yongyuth Permpoontanalarp
1995 — conf
Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning.
ICMAS
Yongyuth Permpoontanalarp, John Yuejun Jiang
1995 — conf
On Multi-Agent Autoepistemic Reasoning.
WOCFAI
Yongyuth Permpoontanalarp, John Yuejun Jiang