Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case

2009 IEEE International Symposium on Parallel & Distributed Processing ◽

10.1109/ipdps.2009.5161238 ◽

2009 ◽

Cited By ~ 1

Author(s):

Panupong Sornkhom ◽

Yongyuth Permpoontanalarp

Keyword(s):

Petri Nets ◽

Security Analysis ◽

Coloured Petri Nets ◽

Contract Signing

Download Full-text

Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets

2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing ◽

10.1109/snpd.2008.30 ◽

2008 ◽

Cited By ~ 4

Author(s):

Panupong Sornkhom ◽

Yongyuth Permpoontanalarp

Keyword(s):

Petri Nets ◽

Security Analysis ◽

Coloured Petri Nets ◽

Contract Signing

Download Full-text

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

Fundamenta Informaticae ◽

10.3233/fi-2014-999 ◽

2014 ◽

Vol 130 (4) ◽

pp. 423-466

Author(s):

Yongyuth Permpoontanalarp ◽

Panupong Sornkhom

Keyword(s):

Petri Nets ◽

Security Analysis ◽

Cryptographic Protocols ◽

Coloured Petri Nets

Download Full-text

Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets

Communications and Multimedia Security - Lecture Notes in Computer Science ◽

10.1007/11552055_23 ◽

2005 ◽

pp. 230-239 ◽

Cited By ~ 5

Author(s):

Wiebke Dresp

Keyword(s):

Petri Nets ◽

Security Analysis ◽

Authentication Protocol ◽

Coloured Petri Nets ◽

Secure Authentication

Download Full-text

Security analysis of the TMN protocol by using Coloured Petri Nets: On-the-fly trace generation method and homomorphic property

2011 Eighth International Joint Conference on Computer Science and Software Engineering (JCSSE) ◽

10.1109/jcsse.2011.5930095 ◽

2011 ◽

Cited By ~ 2

Author(s):

Yongyuth Permpoontanalarp ◽

Apichai Changkhanak

Keyword(s):

Petri Nets ◽

Security Analysis ◽

Coloured Petri Nets

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Cited By ~ 1

Author(s):

Hardy Smieszek

Keyword(s):

Petri Nets ◽

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

10.22260/isarc2019/0137 ◽

2019 ◽

Author(s):

Fabiano Correa

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Wall Panel

Download Full-text

Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets

2008 IEEE International Conference on Emerging Technologies and Factory Automation ◽

10.1109/etfa.2008.4638486 ◽

2008 ◽

Cited By ~ 7

Author(s):

L. Rodriguez ◽

E. Garcia ◽

F. Morant ◽

A. Correcher ◽

E. Quiles

Keyword(s):

Fault Diagnosis ◽

Wind Turbine ◽

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1176039 ◽

2003 ◽

Author(s):

J.C.A. de Figueiredo ◽

L.M.R. Sampaio ◽

F.V. Brasileiro

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Failure Detectors ◽

Consensus Protocol ◽

The Impact

Download Full-text

Modeling Emergency Response Plans with Coloured Petri Nets

Critical Information Infrastructures Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41485-5_10 ◽

2013 ◽

pp. 106-117

Author(s):

Manuel Cheminod ◽

Ivan Cibrario Bertolotti ◽

Luca Durante ◽

Adriano Valenzano

Keyword(s):

Petri Nets ◽

Emergency Response ◽

Coloured Petri Nets ◽

Modeling Emergency

Download Full-text

Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

International Journal of Production Research ◽

10.1080/00207540500456161 ◽

2006 ◽

Vol 44 (16) ◽

pp. 3179-3205 ◽

Cited By ~ 11

Author(s):

K.-S. Chin ◽

X. Zu ◽

C. K. Mok ◽

H. Y. Tam

Keyword(s):

Petri Nets ◽

Modelling And Simulation ◽

Coloured Petri Nets ◽

Simulation Tool

Download Full-text

Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case

Security Analysis of Micali's Fair Contract Signing Protocol by Using Coloured Petri Nets

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets

Security analysis of the TMN protocol by using Coloured Petri Nets: On-the-fly trace generation method and homomorphic property

Modeling behavior and performance of air traffic controllers using coloured petri nets

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets

Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol

Modeling Emergency Response Plans with Coloured Petri Nets

Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets