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 | 16 | 2008 |
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 | 12 | 2009 |
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 | 11 | 2009 |
OCR Application for Cancer Care S Tangkawanit, J Pooksook, J Ieamsaard, P Sornkhom 2022 Asia-Pacific Signal and Information Processing Association Annual …, 2022 | 1 | 2022 |
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 | 1 | 2014 |
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 |