San Choosang, Steven Gordon. A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols. JCP, 9(2):243-256, 2014. [doi]
@article{ChoosangG14, title = {A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols}, author = {San Choosang and Steven Gordon}, year = {2014}, doi = {10.4304/jcp.9.2.243-256}, url = {http://dx.doi.org/10.4304/jcp.9.2.243-256}, researchr = {https://researchr.org/publication/ChoosangG14}, cites = {0}, citedby = {0}, journal = {JCP}, volume = {9}, number = {2}, pages = {243-256}, }