Analysis of two authorization protocols using Colored Petri Nets

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]

Possibly Related Publications

The following publications are possibly variants of this publication: