关注
Panupong Sornkhom
标题
引用次数
引用次数
年份
Security analysis of micali's fair contract signing protocol by using coloured petri nets
P Sornkhom, Y Permpoontanalarp
2008 Ninth ACIS International Conference on Software Engineering, Artificial …, 2008
162008
A new coloured petri net methodology for the security analysis of cryptographic protocols
Y Permpoontanalarp, P Sornkhom
The 10th Workshop and Tutorial on Practical Use of Colored Petri Nets and …, 2009
122009
Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets: Multi-session case
P Sornkhom, Y Permpoontanalarp
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009
112009
OCR Application for Cancer Care
S Tangkawanit, J Pooksook, J Ieamsaard, P Sornkhom
2022 Asia-Pacific Signal and Information Processing Association Annual …, 2022
12022
On-the-fly trace generation approach to the security analysis of cryptographic protocols: coloured petri nets-based method
Y Permpoontanalarp, P Sornkhom
Fundamenta Informaticae 130 (4), 423-466, 2014
12014
Security analysis and improvement of NU-EV tracking and monitoring system
P Sornkhom, S Tangkawanit
2014 International Electrical Engineering Congress (iEECON), 1-4, 2014
2014
Modeling and Verifying Micali’s Fair Contract Signing Protocol by Using Coloured Petri Nets
P Sornkhom, Y Permpoontanalarp
2008
系统目前无法执行此操作,请稍后再试。
文章 1–7