Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd. Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. In Josef Pieprzyk, Clark D. Thomborson, editors, Tenth Australasian Information Security Conference, AISC 2012, Melbourne, Australia, January 2012. Volume 125 of CRPIT, pages 47-58, Australian Computer Society, 2012. [doi]
Abstract is missing.