![](bgc.png)
valued functor in the pullback. The use of Petri-Nets within a categorical framework
looks to be a promising way forward for security problems.
REFERENCES
Aljareh, S., & Rossiter N., 2001, Toward security in multi-agency clinical information services,
Proceedings Workshop on Dependability in Healthcare Informatics, Edinburgh, 22nd-23rd
March 2001, 33-41.
Aljareh, S., & Rossiter, N., 2002, A Task-based Security Model to facilitate Collaboration in
Trusted Multi-agency Networks, ACM Symposium on Applied Computing (SAC) 2002,
Madrid, 744-749.
Anderson, R., 1996, A Security Policy Model for clinical Information Systems, Proc. IEEE
Symposium on Research in Security and Privacy, 30–43.
Asperti, A., Ferrari, G. L., & Gorrieri, R., 1990, Implicative formulae in the `Proofs as
Computations' analogy, Proc 17th ACM SIGPLAN-SIGACT Symp Principles
Programming Languages, 59-71.
Chu-Carroll, J., and Carberry, S., 2000, Conflict Resolution in Collaborative Planning
Dialogues, International Journal of Human-Computer Studies, 53(6) 969-1015.
Crazzolara, F., & G. Winskel, G., 2001, Petri-Nets in cryptographic protocols, Proc. 6th
International Workshop on Formal methods for Parallel Programming: Theory and
Practice, San Francisco
Fischer-Hübner, S., & Ott, A., 1998, From a Formal Privacy Model to its Implementation,
Proc. 21st National Information Systems Security Conference, Arlington, VA.
Furuta, R, & Stotts, P D, 1994, Interpreted collaboration protocols and their use in groupware
prototyping, Proceedings of the 1994 ACM conference on Computer supported cooperative
work, Chapel Hill, North Carolina, United States, 121 – 131.
Gollmann, D., 1999, Computer Security. ISBN: 0 471 97844 2, John Wiley and Sons.
Jensen, K., 1996, Colored Petri-Nets - Basic concepts, analysis methods and practical use,
Springer, second edition 1.
Joshi, J., & Ghafoor, A., 2000, A Petri-Net Based Multilevel Security Specification Model for
Multimedia Documents, ICME2000, IEEE International Conference on Multimedia and
Expo, MP10.12 533, Purdue University, USA.
Mac Lane, S, 1998, Categories for the Working Mathematician, 2nd ed, Springer-Verlag, New
York.
Mahling, D.E., Coury, B. G., & Croft, W. B., 1990, User Models in Cooperative Task-oriented
environment. Proc. 23
rd
Annual Hawaii IEEE International Conference on System Science,
94-99.
Rasmussen, J. L., & Singh, M., 1996, Designing a Security System by Means of Coloured
Petri-Nets. Proc. 17th International Conference in Application and Theory of Petri-Nets
(ICATPN'96), Osaka, Japan, Lecture Notes in Computer Science, 1091 400-419.
Reisig, W., 1985, Petri-Nets: an Introduction. Berlin; New York: Springer-Verlag.
Reisig, W., & Rozenberg G., 1998, Lectures on Petri-Nets: Advances in Petri-Nets. Lecture
Notes in Computer Science, no. 1491.
Rossiter, N., Nelson, D. A., & Heather, M. A., 2003, Formalizing Types with Ultimate Closure
for Middleware Tools in Information Systems Engineering, 5th International Conference on
Enterprise Information Systems (ICEIS), Angers, France 366-373.
Ryan, P, 2003, Theoretical Challenges Raised by Information Security, Workshop on Issues in
Security and Petri-Nets (WISP), ICATPN.
168