Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets

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]

Authors

Younes Seifi

This author has not been identified. Look up 'Younes Seifi' in Google

Suriadi Suriadi

This author has not been identified. Look up 'Suriadi Suriadi' in Google

Ernest Foo

This author has not been identified. Look up 'Ernest Foo' in Google

Colin Boyd

This author has not been identified. Look up 'Colin Boyd' in Google