Attack trace generation of cryptographic protocols based on coloured Petri nets model

ISSN： 1741-1084

Source： International Journal of Wireless and Mobile Computing, Vol.6, Iss.1, 2013-04, pp. : 91-97

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Validation environment of UML2 IOD based on hierarchical coloured Petri nets

By Bennama Miloud Bouabana-Tebibel Thouraya

International Journal of Computer Applications in Technology, Vol. 47, Iss. 2-3, 2013-06 ,pp. : 227-240

Inderscience Publishers

Access to resources Recommend Favorite

A new model for monitoring intrusion based on Petri Nets

By Ali H Arafat

Information Management & Computer Security, Vol. 9, Iss. 4, 2001-08 ,pp. : 175-182

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Petri nets‐based model for the analysis of NORIA protocol

CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 17, 2015-12 ,pp. : 4704-4715

John Wiley & Sons Inc

Access to resources Recommend Favorite

Synthesis of AGVS by coloured-timed Petri nets

By Hsieh Suhua

International Journal of Computer Integrated Manufacturing, Vol. 11, Iss. 4, 1998-07 ,pp. : 334-346

Taylor & Francis Ltd

Access to resources Recommend Favorite

A symbolic reachability graph for coloured petri nets

By Chiola G. Dutheillet C. Franceschinis G. Haddad S.

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 39-65

Elsevier

Access to resources Recommend Favorite