1994

• M.W. Cook, K.W. Lodge, W.E.Moore and L. Anderson, Food process control using paralling computing, In Proceedings of Transputer Applications and Systems'94, pp. 584-593. I.O.S. Press (Amsterdam-Oxford-Washington), 1994.
• M.W. Cook, K.W. Lodge, W.E. Moore and L. Anderson, The CYCLOPS project. In Proceedings of Mechatronics and Machine Vision in Practice}, pp. 124-127. IEEE Computer Society Press, 1994.
• G.M. Bryan, W.E. Moore, B.J. Curry, K.W. Lodge and J. Gyer, The MEDUSA project: Autonomous data management in a shared-thing parallel database machine. In Proceedings of ACM SIGMOD'94, pp 507. Minneapolis, May 1994.
• G.M. Bryan, W.E. Moore, B.J. Curry and J. Gyer, Self Organisation in data management. In Proceedings of Complex'94 CQU, pp. 189-196. Rockhampton Qld., August 1994.
• Y. Mu, Y. Zheng, and Y.-X. Lin, "Multi-user quantum cryptography," Proceedings of International Symposium on Information Theory and Its Applications, Sydney, pp245-250 (1994)
  
• Y. Mu, "Spontaneous emission spectra via cavity-enhanced coherent population trapping in a three-level system," Optics Communications, Vol 111, pp334-339 (1994)
  
• Y. Mu, "Bistability and intensity squeezing in the two-photon laser without inversion," Physical Review A, 49, pp5142-5145 (1994)
  
• Y. Mu and C. M. Savage, "Phase-sensitive above-threshold laser amplifiers," Physical Review A, 49, pp4093-4100 (1994)
  
• J. Piotrowski, Sequential data flow models of processing. Computer & Mathematics with Applications, 27(1), pp. 81-96, 1994.
• J. Piotrowski and N. Bennie, Designing a graphic interface to a dataflow computer. In Proceedings of EW-ED'94 Conference, pp. 74-78. Crimea, Ukraine, 1994.
• J. Piotrowski, Non-conventional assessment-problems and experiences. In FIE'94 Conference, pp. 22-25. San Jose, California, 1994.
• A. Pollard, A universal building simulation environment. In Proceedings of the First Joint Conference of the International Simulation Societies, pp 684-688. Zurich, August 1994.
• A. Pollard and G. Hewett, Teaching design skill using the whole view approach. In Proceedings of 28th Australian and New Zealand Architectural Science Association Conference, pp 149-154. Geelong, 1994.
• J. Kelsley and A. Pollard, A informal understanding of design. In Proceedings of 28th Australian and New Zealand Architectural Science Association Conference, pp 107-112. Geelong, 1994.
• P. Ray and M. Fry, Management platform for a mobile environment. In 5th IFIP / IEEE International Workshop on Distributed Systems Operations and Management (DSOM'94), Toulouse France, October 1994.
• P. Ray and M. Fry, Integrated service management within heterogeneous environments. In SBT/IEEE International Telecommunication Symposium (ITS'94), Rio-de-Janeiro, Brazil, August. 1994.
• P. Ray and B. Howarth, Management database on fibre. In 12th European Conference on Fiber Optic Communications and Networks (EFOC&N `94), Heidelberg, Germany, June 1994.
• Vijay Varadharajan, Claudio Calvelli, "Extending the Schematic Protection Model I : Conditional Tickets and Authentication", IEEE Proceedings of Research in Security and Privacy, Oakland, May 1994.
  
• Vijay Varadharajan, Claudio Calvelli, "Extending the Schematic Protection Model II : Revocation", Accepted for Publication in the Journal of Computers and Security.
• Vijay Varadharajan, "Security Requirements for Customer Newtork Management in Telecommunications", Accepted for Publication in 1994 NCSC Conference, Baltimore.
• Vijay Varadharajan, Jon Griffin, Andreas Fuchsberger, "Audit Management for Distributed Systems", 5th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM'94, Oct.1994.
• Vijay Varadharajan, "Security for Mobile Networked Computing", Invitational Presentation, Proc. of the New Security Issues 94 Conference, London, Sept.94. Y. Zhang and N.Y. Foo, Persistent extension and temporal projection. In Proceedings of Seventeenth Annual Computer Science Conference (ACSC-17), pp. 701-709. Christchurch, January 1994.
• N.Y. Foo and Y. Zhang, Constraints and updates. In Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence (AI'94), pp. 173-179, World Scientific Publishers. Armidale, November 1994.
• Y. Zhang and N.Y. Foo, Persistence, invariants and constraints. In Proceedings of the 3rd Pacific Rim International Conference on Artificial Intelligence (PRICAI'94), pp. 248-254, International Academic Publishers. Beijing, August 1994.
• Y. Zhang and N.Y. Foo, Updating knowledge bases using a persistent set approach. In Proceedings of the 6th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'94) }, World Scientific Publishers. Sofia, September 1994.
• D, Zowghi, Software requirements elicitation. In Proceedings of the First JRCASE/Flinders University Collaborative Research Workshop on Software Engineering, Victor Harbour SA, 1994.

1995

• J. Kanaka Durgamba and M.W. Cook, A Self-learning neuro fuzzy controller. In Proceedings of IEEE Int. Conf. on Neural Networks, pp. 300-302, 1995.
• C. Savage, and Y. Mu, "Injection locked lasers as amplifiers", in "Quantum Communications and Measurement", ed. V.P. Belavkin et al. (Plenum, 1995)
  
• O'Leary and A. Pollard, OraForm: Generically forming a multible query for the Oracle RDBMS. In Proceedings of AusWeb 95: the First Australian World Wide Web Conference, pp. 217-222. Ballina, 1995.
• P. Ray, C. Loge, V. Gay and M. Fry, Cooperative network management from ODP viewpoints. Accepted for IFIP Publication, October 1995.
• P. Ray and M. Fry, Cooperative management in a wireless mobile environment. In 6th IFIP/IEEE International Workshop on Distributed Systems Operations and Management (DSOM'95), Ottawa Canada, October 1995.
• P. Ray and M. Fry, Integrated management in a mobile environment: A TINA perspective. In International TINA'95 Conference, Melbourne, Feb. 1995.
• P. Ray , S. Jha and A. Seneviratne, QoS management in a mobile multimedia environment. In 7th IEEE Workshop on LAN/MAN, Florida USA, March 1995.
• Vijay Varadharajan, "Distributed Object Systems Security", Information Systems Security, Chapman and Hall, 1995 IFIP. Proc. of the International Security Conference, IFIP/SEC'95, May 1995, South Africa.
• Vijay Varadharajan, "An Access Control Model and its Use in Representing Mental Health Application Access Policy''. in the IEEE Transactions on Knowledge and Data Engineering, Vol.8, No.1, pp 81-96, Feb.1996.
• Vijay Varadharajan, "Security Requirements for Personal Mobile Networked Computing'', Proc. of Second Bi-Annual International Conference on Mobile and Personal Communications Systems, Adelaide, Australia, April 1995.
• Vijay Varadharajan, Phillip Allen, Joint Action based Authorization Schemes", ACM Operating Systems Review, July 1996.
• Vijay Varadharajan, "Securing Local Area and Metropolitan Area Networks : A Practical Approach", Proc. of the 18th National Information System Security Conference, USA, Oct.1995.
• Vijay Varadharajan, "Authorization for Distributed Applications" Extended Abstract, 1995 IEEE Symposium on Security and Privacy, Oakland, USA, May 1995.
• Vijay Varadharajan, Security for Local Area and Wide Area Networked Computer Communications", Proc. of the International Computer Communications Conference ICCC'95, 1995.
• Vijay Varadharajan, Claudio Calvelli, "Analysis of a Key Management Protocol for a Secure LAN-SMDS System", Proc. of the 19th Australian Computer Science ACSC Conference, Melbourne, Australia.
• Y. Zhang, On propositional knowledge base updates. Australian Journal of Intelligent Information Processing Systems, 2(2), pp 20-29, 1995.
• Y. Zhang and N.Y. Foo, Applying the persistent set approach in temporal reasoning, Annals of Mathematics and Artificial Intelligence, 14(1), pp. 75-98, 1995. D. Zowghi, Sotware requirements engineering. in Proceedings of the Second JRCASE/Flinders University Collaborative Research Workshop on Software Engineering, Sydney, 1995.

1996

• R. Speer, B.J. Curry, D.X. Zhong, W.E. Moore and G.M. Bryan, The GAUDI Project: Design and development issues in constructing an intelligent Robot, complex systems: from local interactions to global phenomena. In Proc. Complex 96 Conf, CSU, Albury pp 244 - 252, 1996.
• G.M. BRYAN and W.E. MOORE, Grid file declustering an implementation of a multidimensional indexing strategy. In Proceedings of 7th Int. Workshop on Database Systems & Expert Systems Applications (DEXA96), Zurich, Switzerland, Sep 9 - 10, pp 94 - 99, 1996.
• Y. Mu and V. Varadharajan, "On the design of security protocols for mobile communications," Proceedings of the 1996 ACISP (To appear in Lecture Notes in Computer Science, Springer-Verlag)
  
• Y. Mu and Y. Zheng, "An alternative model of quantum key agreement via photon coupling," Proceedings of the 1996 ACISP (To appear in Lecture Notes in Computer Science, Springer-Verlag)
  
• Y. Mu, J. Seberry, and Y. Zheng, "Shared cryptographic bits via quantized quadrature phase amplitudes of light," Optics Communications, Vol 123, pp344-352 (1996)
  
• P. Ray, I. Hawryszkiewycz and M. Fry, Group cooperation in network operations and management. In IEEE International Communications Conference (ICC'96), Dallas USA, June 1996.
• P. Ray, M. Fry and I. Hawryszkiewycz, Evaluation criteria for enterprise network management systems. In International Workshop on Enterprise Networking (ENW'96), in conjunction with ICC'96 in Dallas USA, June 1996.
• P. Ray, C. Loge and M. Fry, Middleware for heterogeneous multimedia services. In European Conference on Networks and Optical Communications (NOC'96), Heidelberg Germany, June 1996.
• M. Fry, P. Ray, A. Seneviratne and V. Witana, Multimedia service delivery with guaranteed quality of service. In IFIP/IEEE Network Operations and Management Symposium (NOMS'96), Kyoto Japan, April 1996.
• V. Varadharajan and Y. Mu, "Issues in Securing Electronic Commerce over Internet", Proceedings of AUUG & Aisa Pacific World Wide Web Conference, Australia (1996)
  
• V. Varadharajan and Y. Mu, "On the Design of Secure Electronic Payment Protocols for the Internet," Proceedings of the IEEE Annual Computer Security Applications Conference, USA (1996)
  
• V. Varadharajan and Y. Mu,"Design of Secure End-to-End Protocols for Mobile Systems," in Mobile Communications, Ed. Jose L. Encarnacao and Kan M. Rabaey (Chapman & Hall, 1996), pp258-266
  
• V. Varadharajan and Y. Mu, "Design of Security Protocols for Mobile Systems: Symmetric Key Approach," Proceedings of the Wireless '96 Conference, Alberta, Canada, pp561-568
  
• Vijay Varadharajan, Claudio Calvelli, "Key Management for a Secure LAN-SMDS Network", in the Journal of Computer Communications, 1996 (To Appear).
• Vijay Varadharajan, Phillip Allen, "Issues in the Design of Joint Actions Based Security Policies", Proc. of the Australasian Conference on Information Security and Privacy, ACISP'96, 1996.
• Vijay Varadharajan, Thomas Hardjono, "Security Model for Distributed Object Framework and its Applicability to CORBA", Information Systems Security, Chapman and Hall, 1996. Proc. of the International IFIP/SEC96 Conference,1996.
• Vijay Varadharajan, "Design of Security Services for Distributed Applications", Proc. of the International Conference on Systems Engineering ICSE'96, USA, 1996.
• Vijay Varadharajan, "Security Infrastructure and Services for High Speed LANs and MANs', Proc. of the 8th International IEEE LAN/MAN Workshop, 1996.
• Vijay Varadharajan, Claudio Calvelli, "Extending the Schematic Protection Model II: Revocation", To Appear in the Journal of Computers and Security. Accepted in 1996.
• Vijay Varadharajan, Panos Katsavos, "Security issues in emerging High Speed Networks", Proc. of the 19th National Information System Security Conference NISS96, Oct.1996, USA.
• Vijay Varadharajan, "Design and Management of a Secure Networked Administration System : A Practical Approach", Proc. of the 19th National Information System Security Conference NISS'96, Oct.1996, USA.
• Vijay Varadharajan, "Security Services for High Speed Networks" Proc. of 21 Local Area Networks Conference, LCN'96, Oct.1996, USA.
• Vijay Varadharajan, Security for SMDS and Frame Relay Networks", To Appear in the Journal of Computer Communications. Accepted 1996
• Micheal Hitchens, Vijay Varadharajan, "Design Choices for Symmetric Key based Inter-domain Authentication Protocols in in Distributed Systems", Submitted for Publication 1996.
• Vijay Varadharajan, "Design of Enterprise Wide Secure Networked Administration System", Proc. of the IEEE Workshop on Enabling technologies : Infrastructure for Collaborative Enterprises, WET ICE'96, Stanford University, USA, June 1996.
• Vijay Varadharajan, "Security in High Speed NetWorks", Proc. of the 21st Conference on Local Computer Networks, LCN'96, USA, Oct. 1996
• Vijay Varadharajan and Claudio Calvelli, "Extending the schematic Protection Model", Journal of Computers and Security. To appear.
• Y. Zhang, Compiling causality into action theories. In Proceedings of the Third Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE'96), pp. 263-270. Stanford, January 1996.
• Y. Zhang, Semantical considerations for knowledge base updates. In Foundations of Intelligent Systems, Z.W. Ras and M. Michalewicz Ed. Lecture Notes in Artificial Intelligence, pp. 88-97, Vol. 1079, Springer-Verlag 1996.
• Y. Zhang and N.Y. Foo, Updating knowledge bases with disjunctive information. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI'96), pp 562-658, AAAI/MIT Press. Portland, August 1996.
• Y. Zhang and N.Y. Foo, Deriving invariants and constraints from action theories. Fundamenta Informaticae, 1996 (to appear).
• D. Zowghi, A. Ghose, P. Peppas, A framework for reasoning about requirements evolution. In Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI96), Cairns, Australia, August 1996
• D. Zowghi and R. Offen, A logical framework for modeling and reasoning about the evolution of requirements. In Proceedings of the first Australian Workshop on Requirements Engineering, Monash University, Melbourne,September 1996.

1997

• Y. Bai and V. Varadharajan, "A Logic Based Approach for Non-Monotonic Transformation of Authorization Policies," Electronic Credit Based Payment Protocols for the Internet", Proceedings of the Australian Computer Society Conference, ACSC'97, 1997, to appear
• V. Varadharajan and Y. Mu, "Logic Based Analysis of Secure Electronic Payment Protocols", Proceedings of the Australian Computer Society Conference, ACSC'97, 1997, to appear
  
• D. Zowghi and R. Offen, A logical framework for modeling and reasoning about the evolution of requirements. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, January 1997, Annapolis, USA., To appear.

Technical Reports