Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd. Analysis of two authorization protocols using Colored Petri Nets. Int. J. Inf. Sec., 14(3):221-247, 2015. [doi]
@article{SeifiSFB15,
title = {Analysis of two authorization protocols using Colored Petri Nets},
author = {Younes Seifi and Suriadi Suriadi and Ernest Foo and Colin Boyd},
year = {2015},
doi = {10.1007/s10207-014-0243-z},
url = {http://dx.doi.org/10.1007/s10207-014-0243-z},
researchr = {https://researchr.org/publication/SeifiSFB15},
cites = {0},
citedby = {0},
journal = {Int. J. Inf. Sec.},
volume = {14},
number = {3},
pages = {221-247},
}