Items by "Zhang, Xinwen"

Katt, Basel and Hafner, Michael and Zhang, Xinwen (2009) Building a stateful reference monitor with coloured petri nets. In: 5th International ICST Conference on Collaborative Computing: Networking, Applications, Worksharing.

Katt, Basel and Hafner, Michael and Zhang, Xinwen (2009) A usage control policy specification with Petri nets. In: The Fourth International Workshop on Trusted Collaboration.