Basel Katt, Michael Hafner, Xinwen Zhang. Building a stateful reference monitor with coloured petri nets. In The 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2009, Washington DC, USA, November 11-14, 2009. pages 1-10, IEEE, 2009. [doi]
Abstract is missing.