Yongyuth Permpoontanalarp

Publication Activity (10 Years)

Years Active: 1995-2014
Publications (10 Years): 0

Top Topics

Cryptographic Protocols

Security Analysis

Top Venues

IEICE Trans. Inf. Syst.

Fundam. Informaticae

Publications

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