Yongyuth Permpoontanalarp

Learn More
Many model checking methods have been developed and applied to analyze cryptographic protocols. Most of them can analyze only one attack trace of a found attack. In this paper, we propose a very simple but practical model checking methodology for the analysis of cryptographic protocols. Our methodology offers an efficient analysis of all attack traces for(More)
Over the past few years, several different approaches have been proposed to deal with multi-agent autoepistemic reasoning. Despite some limitations, each approach is important in its own right. While Pafikh's approach allows an agent to reason uonmonotonically about other agents' knowledge, it cannot reason about other agents' nonmonotonic reasoning.(More)
Micropayment is an electronic payment system for small value transaction. It needs to use a little amount of resources, such as communication and computation due to the small value payment. There are three main existing approaches to the micropayment, namely Millicent, NetCents and MiniPay. We argue that those existing approaches not only suffer from some(More)