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]

Abstract

Abstract is missing.