Yongyuth Permpoontanalarp - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2014

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based MethodYongyuth Permpoontanalarp, Panupong Sornkhom. FUIN, 130(4):423-466, 2014. [doi]

2012

On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based MethodYongyuth Permpoontanalarp, Apichai Changkhanak. ieicet, 95-D(1):215-229, 2012. [doi]

2010

On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic ProtocolsYongyuth Permpoontanalarp. forte 2010: 201-215 [doi]

2009

Security analysis of Micali s fair contract signing protocol by using Coloured Petri Nets : Multi-session casePanupong Sornkhom, Yongyuth Permpoontanalarp. ipps 2009: 1-8 [doi]

2008

Dynamic Undeniable Fair Certified Email with DDoS ProtectionYongyuth Permpoontanalarp, Jatupoom Kanokkanjanapong. aina 2008: 763-770 [doi]

Security Analysis of Micali s Fair Contract Signing Protocol by Using Coloured Petri NetsPanupong Sornkhom, Yongyuth Permpoontanalarp. snpd 2008: 329-334 [doi]

2004

A Graph-based Methodology for Analyzing IP Spoofing AttackVoravud Santiraveewan, Yongyuth Permpoontanalarp. aina 2004: 227-231 [doi]

2003

Multi-dimensional Hash Chain For Sealed-Bid AuctionNavapot Prakobpol, Yongyuth Permpoontanalarp. wisa 2004: 257-271 [doi]

2001

Practical Reasoning about Accountability in Electronic Commerce ProtocolsSupakorn Kungpisdan, Yongyuth Permpoontanalarp. icisc 2002: 268-284 [doi]

A Unified Methodology for Verification and Synthesis of Firewall ConfigurationsYongyuth Permpoontanalarp, Chaiwat Rujimethabhas. icics 2001: 328-339 [doi]

A graph theoretic model for hardware-based firewallsYongyuth Permpoontanalarp, Chaiwat Rujimethabhas. icon 2001: 228-233 [doi]

1995

Generalised Proof-Theory for Multi-Agent Autoepistemic ReasoningYongyuth Permpoontanalarp, John Yuejun Jiang. icmas 1995: 304-311

On Multi-Agent Autoepistemic ReasoningYongyuth Permpoontanalarp, John Yuejun Jiang. wocfai 1995: 307-318

Sign in or sign up to see more results.

runs on WebDSL