Professor vijay varadharajan’s Publications

 

Topic Areas

 

·        Cryptography

·        Communications and Network Security

·        Distributed System Security

·        Secure Electronic Commerce and Payment

·        Security and Mobile Systems

·        Formal Security Techniques

·        Software Engineering and Formal Methods

·        Miscellaneous

 

Cryptography

 

1.                      V. Varadharajan, R. Odoni, Extension of RSA Cryptosystem to Matrix Rings, Cryptologia, USA, Vol.9, No.2, Apr.1985, pp 140-153.

2.                      V. Varadharajan, R. Odoni, Peter Sanders,  “Public Key Distribution in Matrix Rings'', IEE Electronic Letters, Vol.20, No.9, Apr.1984, pp 386-387.

3.                      V. Varadharajan, P. Sanders, “DES can keep your data safe'', Apple Computer Journal (Windfall), Vol.2, No.12, June 1983, pp 32-33.

4.                      V. Varadharajan “Trapdoor Rings and their use in Cryptography'', International Conference on Cryptography, CRYPTO'85, Lecture Notes in Computer Science, Springer-Verlag, 1985.

5.                      V. Varadharajan, “Use of Trapdoor Structures in Cryptography'', International Journal of Computer Mathematics, Vol.19, No.2/3, 1986.

6.                      V. Varadharajan, R. Odoni, “Security of Public Key Distribution in Matrix Rings'', IEE Electronic Letters, Vol.22, No.1, Jan.1986, pp 46-47.

7.                      V. Varadharajan, “Permutation Polynomials based Cryptosystems'', International Journal of Computer Mathematics, Vol.23, pp 237-250, 1988.

8.                      V. Varadharajan, “Comments on New Public Key Distribution  Systems'', IEE  Electronic Letters, Vol.25, No.1, pp 64-65, 1988.

9.                      C. Mitchell, V. Varadharajan, “Modified forms of Cipher Block Chaining Schemes'', International Journal of Computers and Security, 1991.

10.                  C.K.Wu and V.Varadharajan, “Modified Chinese Remainder Theorem and Its  Application to Proxy Signatures", Proceedings of 1999 ICPP Workshops, 21-24 Sept. 1999, D.Panda and M.Takizawa (Eds.), IEEE Computer Society 1999, pp.146-151.

11.                  Tri Van Le, K.Q.Nguyen and V. Varadharajan "How to prove that a committed number is prime", Proceedings of Asiacrypt'99, Lecture Notes in Computer Science, Springer- Verlag, 1999.

12.                  Y.Mu, V. Varadharajan and K. Q. Nguyen, "Delegated Decryption”, Proceedings of Cryptography and Coding, UK, Dec.1999.

13.                  K.Q.Nguyen, Feng Bao, Yi Mu, and V. Varadharajan, "Zero-knowledge proofs of possession of digital signatures and its applications", Lecture Notes in Computer Science (Proceedings of ICICS'99), Springer-Verlag, Nov.1999.

14.                  K.Q.Nguyen, Y.Mu, and V.Varadharajan, "Undeniable confirmer signature", Lecture Notes in Computer Science (Proceedings of ISW'99), Springer-Verlag, Nov.1999.

15.                  K.Q. Nguyen, V. Varadharajan and Yi Mu, "Batching Proofs of Knowledge and its Applications", 10th International Workshop on Databases and Expert Systems Applications (DEXA), IEEE Press, ISBN 0-7695-0281-4, pp.844-849, 1999.

16.                  K.Q. Nguyen, Y. Mu, and V. Varadharajan, "Divertible Zero-Knowledge Proof of Polynomial Relations and Blind Group Signature", in Proceedings. of ACISP'99. Lecture  Notes in Computer Science, Springer-Verlag117-128, 1999

17.                  C.K.Wu, V.Varadharajan, “Many-to-one cryptographic algorithms and group signatures”, Proceedings of the Twenty Second Australasian Computer Science Conference (ACSC'99), Auckland, New Zealand, January 18-21, 1999, Springer-Verlag,  pp.432-444.

18.                  C.K. Wu and V. Varadharajan, “Public Key Cryptosystems Based on Boolean   Permutations and Their Applications", International Journal of Computer Mathematics,  Vol. 74, No.2, pp167-184.

19.                  C.K. Wu and V. Varadharajan, “Boolean permutation-based key escrow", Journal of Computers and Electrical Engineering, Vol.25, 1999, pp291-304

 

 

Networks and Communications Security : Architecture, Services and Protocols and Design

 

 

20.       V.Varadharajan, P. Sanders, “Secure Communications between Microcomputer Systems'',  Journal of Computer Communications, Vol.6, No.5, Oct.1983,  pp 245-252. 

21.                  V.Varadharajan, P. Sanders, “A Practical Secure Electronic Mail with Public Key Distribution'', Journal of Computer Communications, Vol.8, No.3, June 1985, pp  121-128.

22.                  V.Varadharajan, “A Multilevel Network Security Policy Model'', Proceedings of the International Conference on Computers and Communications,  INFOCOM'90, June 1990.

23.                  V.Varadharajan, “Verification of Network Security Protocols'', International Journal of Computers and Security, Vol.8, No.8, Dec. 1989.

24.                  V.Varadharajan, “Formal Specification of Authentication Protocols in LOTOS'', International Journal of Computer Standards and Interfaces Journal, Vol.9, North Holland, 1990.

25.                  S. Black, C. Calvelli, V.Varadharajan, “Modelling Security Aspects of a Message Handling System in LOTOS'', in Proceedings of the IEE   Conference on Software Engineering for Telecommunications Switching Systems, SETSS'89, July 1989. IEE Press.

26.                  V.Varadharajan, S. Black, “Formal Specification of a Secure Distributed Messaging System'', Proceedings of the 12th  NCSC Computer Security Conference, Oct.1989.

27.                  V.Varadharajan, “Formally Specifying Authentication Protocols'', Proceedings of the IFIP MHS'90, International Symposium on Message Handling Systems and Application Layer Communication Protocols, Oct.1990.

28.                  P. Katsavos, V.Varadharajan, “A Secure Frame Relay Service'', Journal of  Computer Networks and ISDN Systems,  Vol 26, 1994, pp 1539-1558.

29.                  V.Varadharajan, P Katsavos, "Security for Frame Relay", Proceedings of the International Conference on Computer Communications, IC3N, 1993, USA.

30.                  P Katsavos, V. Varadharajan, "Security Protocol for Frame Relay", ACM Computer Communication Review Journal, Oct.1993.

31.                  V.Varadharajan, "Security Requirements for Customer Network Management in Telecommunications", Proceedings of the National Computer Security Conference, NCSC’94, pp 327-339.

32.                  V.Varadharajan,  Security for Local Area and Wide Area Networked Computer Communications", Proceedings of the International Computer Communications Conference ICCC'95, 1995, pp 617-623.

33.                  V.Varadharajan, C. Calvelli, "Key Management for a Secure LAN- SMDS Network", Journal of Computer Communications, 1996 , Vol 19, 1996, pp 813-823.

34.                  V.Varadharajan, "Security Infrastructure and Services for High Speed LANs and MANs', Proceedings of the 8th International IEEE LAN/MAN Workshop, Berlin, Germany, IEEE Communications Society, 1996.

35.                  V.Varadharajan, P Katsavos, "Security issues in emerging High Speed Networks", 19th National Information Systems Security Conference, NISSC’96, USA, pp 233-250.

36.                  V.Varadharajan, "Design and Management of a Secure Networked Administration System: A Practical Approach",  19th National Information Systems Security Conference, NISSC’96, USA, pp 570-581.

37.                  V.Varadharajan, "Security Services for High Speed Networks" Proceedings of 21st  Local Area Networks Conference, LCN'96, Oct.1996, USA.

38.                  V.Varadharajan, “High Speed Networks Security I: SMDS and Frame Relay”,   Journal of  Computer Communications, 1997.

39.                  V.Varadharajan, “Security Services and Protocols for Communication Network Systems”, Proceedings of the IEEE International Conference on Communication Systems, ICCS’96, 1996, pp 26.3.1-26.3.5.

40.                  V.Varadharajan, R.Shankaran and M.Hitchens, “Security Issues in Asynchronous Transfer Mode”, in the ATM Works’97 in Hamilton, New Zealand.  Feb. 1997.

41.                  V.Varadharajan, C. Calvelli, "Analysis of a Key Management Protocol for a Secure LAN-SMDS System", Proceedings of the 19th Australian Computer Science ACSC Conference, Melbourne, Australia, 1996.

42.                  V.Varadharajan, R.Shankaran and M.Hitchens, “A Practical Approach to Design and Management of Secure ATM Networks”, Proceedings  of the 20th National Information Systems Security Conference NISSC’97,  USA

43.                  R.Shankaran, V.Varadharajan and M.Hitchens, “Security Issues in Asynchronous Transfer Mode Networks”, Proceedings of the Australasian Conference on Information Security and Privacy, ACISP’97, Lecture Notes in Computer Science, LNCS 1270, July 1997, pp 76-90.

44.                  V.Varadharajan, R.Shankaran, M.Hitchens, “Security Services and Public Key Infrastructure for ATM Networks”, Proceedings of 22nd  IEEE Local Area Networks Conference, LCN'96, Nov.1997, USA.

45.                  V.Varadharajan, R.Shankaran, M.Hitchens, “Secure Authentication and Access Control in ATM Networks”, Proceedings of the European Conference on Networks and Optical Communications, NOC’98, June 1998.

46.                  V.Varadharajan, R.Shankaran, M.Hitchens, "On the design of Secure ATM Networks", Journal of Computer Communications, Sept.1999.

47.                  V.Varadharajan, R.Shankaran and M.Hitchens, “Active Networks and Security”, Proceedings of the 22nd National Information Systems Security Conference, USA,  Oct.1999

48.                  H. Wang, V. Varadharajan, Y. Zhang, “A Secure Communication Scheme for Multi-Agent Systems”, Proceedings of First Pacific Rim International Workshop on Multi-Agents, LNAI 599, Springer, 1999. 

49.                  R.Shankaran, V.Varadharajan and M.Hitchens, “Secure Multicasting in Mobile Networks”, Proceedings of the 24th IEEE Local Area Networks Conference, LCN’99, IEEE Press, Oct.1999. (A revised version accepted for publication in the Journal of Multimedia Communications Special Issue on Wireless Communications)

 

 

Distributed Systems Security: Policies, Architecture, Security Services Design and Management

 

 

50.                  V.Varadharajan, S. Black, “A Multilevel Security Model for a Distributed Object-Oriented System'', Proceedings of the IEEE Sixth Annual Computer Security Applications Conference, USA, Dec.1990, IEEE Press.

51.                  V. Varadharajan, S. Black, “Multilevel Security in Distributed Object Systems'', International Journal of Computers and Security, 1990.

52.                  V.Varadharajan, P. Allen, S. Black, “An Analysis of the Proxy Problem in Distributed Systems'', Proceedings of the 1991 IEEE Symposium on Research in Security and Privacy, 1991, IEEE Press.

53.                  V.Varadharajan, S. Black, P. Allen, “A Security Framework for Distributed Systems'', CCITT Distributed Applications Framework Conference, Ipswich, U.K., July 1990.

54.                  V.Varadharajan, “Security in a Distributed Message Handling System'', IEE Colloquium on Message Handling - Past, Present and Future, Nov. 1991.

55.                  V.Varadharajan, “An Integrated Security Architecture for Distributed Computing'', Proceedings of the International Computer Security Conference COMPSEC’91, London, Oct.1991.

56.                  V.Varadharajan, “Notification : A Practical Security Problem in Distributed Systems'', Proceedings of the 1991 National Computer Security Conference NCSC/NIST,Washington D.C., Oct.1991.

57.                  C. Calvelli, V. Varadharajan, “Analysis of Some Delegation Protocols for Distributed Systems'', Proceedings of  Foundations of Computer Security Conference, Franconia, IEEE Computer Society Press, 1992

58.                  V.Varadharajan, “A Security Model for a Distributed Object System and its Application'', Proceedings of the National Computer Security Conference (NIST/NCSC),  Baltimore, USA, Oct. 1992, pp 593-620.

59.                  V.Varadharajan, “Secure System Management of Networked Computer Systems'', Proceedings IEEE First International Workshop on Systems Management, IEEE Press, 1993.

60.                  C. Calvelli, V.Varadharajan, "Authentication and Revocation In SPM", ACM's Operating Systems Review Journal, Oct.1993.

61.                  C. Calvelli, V. Varadharajan, "Representation of  Mental Health Application Access Policy in a Monotonic Model", Proceedings IEEE Computer Security Applications Conference, IEEE Computer Society Press, 1993.

62.                  V.Varadharajan, C. Calvelli, "Extending the Schematic Protection Model I: Conditional Tickets and Authentication", IEEE Proceedings of Research in Security and Privacy, Oakland, IEEE Computer Society Press, 1994.

63.                  V.Varadharajan, J. Griffin, A. Fuchsberger, "Audit Management for Distributed Systems", Proceedings IFIP/IEEE International Workshop on Distributed Systems Operations and Management, DSOM'94, Oct.1994.

64.                  V.Varadharajan, "Distributed Object Systems Security", Proceedings of the IFIP International Conference on Security IFIP/SEC’95. Published also in the book “Information Systems Security -  the Next Decade”, Ed. J.H.P.Eloff and S.H.Von Solms, Chapman and Hall, 1995, pp 305-322.

65.                  V.Varadharajan, P. Allen, “Joint Action based Authorization Schemes", ACM Operating Systems Review Journal, July 1996

66.                  V.Varadharajan, "Authorization for Distributed Applications" Extended Abstract, 1995  IEEE Symposium on Security and Privacy, Oakland, USA, May 1995.

67.                  V.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.

68.                  V.Varadharajan, P. Allen, "Supporting Joint Action Based Security Schemes in an Object Model”, Proceedings of the Australasian Conference on Information Security and Privacy, ACISP'96, 1996. Lecture Notes in Computer Science, LNCS, Vol 1172 Springer-Verlag, pp 207-219.

69.                  V.Varadharajan, T. Hardjono, "Security Model for Distributed Object Framework and its Applicability to CORBA", Information Systems Security”, Chapman and Hall, 1996. Proceedings of the International IFIP/SEC96 Conference. Published also in the book “Information Systems Security” (Ed. K.Katsikas and D. Gritzalis), Chapman and Hall,  1996, pp 452-463.

70.                  V.Varadharajan, "Design of Security Services for Distributed Applications", Proceedings of the International Conference on Systems Engineering ICSE'96, USA, pp 200-205, 1996.

71.                  V.Varadharajan, C. Calvelli, "Extending the Schematic Protection Model II: Revocation", Journal of  Computers and Security. Vol 15, No. 6, pp 525-536, 1996.

72.                  M. Hitchens, V.Varadharajan, "Design Choices for Symmetric Key based Inter-domain Authentication Protocols in Distributed Systems", Proceedings of the 12th  Annual Computer Security Applications Conference, San Diego, USA, IEEE Computer Society Press, 1996, pp 105-117.

73.                  V.Varadharajan, "Design of Enterprise Wide Secure Networked Administration System", Proceedings of the 5th IEEE Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, WET ICE'96, Stanford University,  USA, IEEE Computer Society Press, pp 100-106.

74.                  Y.Bai, V.Varadharajan : “Updating Policy Base : An Application of Knowledge Base in Authorizations”, Proceedings of the IEEE International Conference on Intelligent Processing Systems, IEEE Press, Oct. 1997.

75.                  Y.Bai, V.Varadharajan, “A Language for Specifying Sequences of Authorization Transformations and its Applications”, Proceedings of the International Conference on Information and Communications Security, ICICS’97, LNCS, Springer-Verlag, Nov.1997.

76.                  V.Varadharajan, “Securing Customer Network Management – A Practical Approach”, Proceedings of the 8th IFIP/IEEE International Workshop on Distributed Systems and Operations Management, DSOM’97, Oct.1997.

77.                  V.Varadharajan, Y.Mu and M.Hitchens, “Design Choices for Public Key Based Kerberos”, Proceedings of the Australasian Computer Science Conference, ACSC’98, Springer-Verlag Press,  Feb.1998.

78.                  Y.Bai and V.Varadharajan, “A High Level Language for Conventional Access Control Models”, Proceedings of the Australasian Conference on Information Security and Privacy,  ACISP’98, July 1998. Proceedings to be Published by Springer-Verlag.

79.                  V.Varadharajan, N.Kumar and Y.Mu, “Security Agent based Distributed Authorization An Approach”, Proceedings of the 21st National Information Systems Security Conference,     NISSC’98, USA

80.                  V.Varadharajan, C.Crall and J.Pato, “Secure Authorization in Distributed Applications”, Proceedings of the International Conference on Parallel and Distributed Systems, Dec.1998.

81.                  V.Varadharajan, C.Crall and J.Pato, “Issues in the Design of a Secure Distributed Authorization Service”, Proceedings of IEEE Globecom’98, Nov.1998.

82.                  V.Varadharajan, C.Crall and J.Pato, “Authorization in Enterprise wide Distributed Systems: Design and Application”, Proceedings of the 14th IEEE Computer Security Applications Conference, ACSAC’98, Dec.1998.

83.                  M.Hichens and V.Varadharajan, " Issues in the design of a language for Role Based Access Control", in Lecture Notes in Computer Science (Proceedings of ICICS'99),       Springer-Verlag, Nov.1999.

84.                  Y.Bai and V.Varadharajan, "Authorisation in Object Oriented Databases", in Proceedings of ACISP'99. Lecture Notes in Computer Science, Springer-Verlag, pp270-280, 1999

85.                  G. Saunders, M.Hitchens and V.Varadharajan, "An Analysis of Access Control Models", Proceedings of ACISP'99. Lecture Notes in Computer Science, Springer-Verlag, pp281-293, 1999.

86.                  Y.Mu, V.Varadharajan, “Towards a Access Control Framework Supporting Multiple Access Policies, Proceedings of 11th Australasian Database Conference (ADC 2000), IEEE Press.

87.                  M. Hitchens and V.Varadharajan, “Design and Specification of Role based Access Control Policies”, IEE Proceedings – Software, August 2000, UK.

88.                  M.Hitchens, V.Varadharajan, “Tower : A Language for Role based Access Control”, Policy 2001 Workshop on Policies for Distributed Systems and Networks, Lecture Notes in Computer Science, Springer-Verlag, 2001.

89.                  V.Wietrzyk, M.Orgun, V.Varadharajan, “On the Analysis of Online Database Reorganization”, Proceedings of the Symposium on Advanced Database and Information Systems, International Conference on Database Systems for Advanced Applications ADBIS-DASFAA 2000, Lecture Notes in Computer Science 1884, Springer-Verlag 2000.

90.                  M.Hitchens, V.Varadharajan, “Elements of a Language for Role based Access Control”, IFIP 16th Annual Conference on Information Security, IFIP SEC’2000. Appears in the Book “Information Security for Global Information Infrastructures”, Editors: Qing and Eloff, Kluwer Academic Publishers, 2000.

 

 

Secure Electronic Commerce and Payment

 

 

91.                  V.Varadharajan, Y. Mu, “Issues and Challenges in Securing Electronic Commerce”, Proceedings of AUUG96 and Asia Pacific World Wide Web Conference, Australia, Sept. 1996, pp 369-38

 

 

92.                  V. Varadharajan, Y. Mu, “On the Design of Secure Electronic Payment Schemes for the Internet”, Proceedings of the 12th Annual Computer Security Applications Conference, San Diego, USA, IEEE Computer Society Press, 1996, pp 78-88.

93.                  V.Varadharajan, Y. Mu, "Logic based Analysis of Secure Electronic Payment Protocols", Proceedings of the 20th Australian Computer Science ACSC Conference, Feb.1997.

94.                  Y.Mu, V.Varadharajan, Y.X.Lin,  “New Micropayment Schemes based on PayWords”,  Proceedings of the Australasian Conference on Information Security and Privacy, ACISP’97, Lecture Notes in Computer Science. LNCS 1270, July 1997, pp 283-294.

95.                  K.Nguyen, Y.Mu, V.Varadharajan, “Digital Coins based on Hash Chains”, Proceedings of the 20th National Information Systems Security Conference, NISSC’97, Oct.1997, USA.

96.                  K.Nguyen, Y.Mu, V.Varadharajan, “One-Response Off-Line Digital Coins”, Proceedings of Fourth Annual Workshop on Selected Areas of Cryptography (SAC’97), Canada, August 1997, pp244-251

97.                  K.Nguyen, V.Varadharajan,  Y.Mu, “An Efficient Off-Line Anonymous Cash Scheme”, Proceedings of the Eighth Annual International Symposium on Algorithms and Computation, LNCS, Springer-Verlag, Dec.1997.

98.                  K.Nguyen, Y.Mu, V.Varadharajan, “A New Digital Cash Scheme based on Blind Nyberg-  Rueppel Digital Signatures”, Proceedings of the Information Security Workshop, Japan,   Lecture Notes in Computer Science, Springer-Verlag, 1997.

99.                  K.Nguyen, Y.Mu and V.Varadharajan, “Micro-Digital Money for Electronic Commerce”, Proceedings of the 13th Annual IEEE Computer Security Applications Conference, IEEE Press,     Dec.1997.

100.             K.Nguyen, V.Varadharajan, Y.Mu, “Secure and Efficient Digital Coins”, Proceedings of the 13th Annual IEEE Computer Security Applications Conference, IEEE Press, Dec. 1997.

101.             V.Varadharajan, K.Nguyen and Y.Mu, “On the Design of Efficient RSA based Offline Electronic Cash Schemes”, Theoretical Computer Science (226)1-2, 1999,  pp. 173-184

102.             Y.Mu and V.Varadharajan, “Anonymous Internet Credit Cards”,   Proceedings of the 21st National Information Systems Security Conference, NISSC’98, USA.

103.             Y.Mu and V.Varadharajan, “Anonymous Secure E-Voting over a Network”, Proceedings of the 14th IEEE Computer Security Applications Conference, ACSAC’98, Dec.1998, USA.

104.             F.Bao, R.Deng, K.Nguyen and V.Varadharajan "Multi-party fair exchange with an off-line trusted neutral party", 10th International Workshop on Databases and Expert  Systems Applications (DEXA),IEEE Press, 1999, ISBM 0-7695-0281-4, pp. 858-863.

105.             H.Wang, V.Varadharajan, Y.Zhang, “Reasoning about Security Protocols using a General Belief Logic”, Proceedings of the CollECTer Conference on Electronic Commerce, USA, April 2000.

106.             Y.Mu, V.Varadharajan, “Fail-Stop Confirmer Signatures”, Lecture Notes in Computer Science, Proceedings of ACISP’2000, Springer-Verlag, 2000, pp368-377.

107.             H.Wang, V.Varadharajan, Y.Zhang, “A New Approach to Reasoning about Accountabilities in Cryptographic Protocols in E-Commerce”, Proceedings of the ACM Workshop on Security and Privacy in Electronic Commerce, WSPEC2000, Athens, Nov.2000.

108.             Y.Mu, V.Varadharajan,  “An Anonymous Internet Auction Scheme”, Lecture Notes in Computer Science, Proceedings of the ICISC’2000, Springer-Verlag, Dec.2000.

109.             Y.Mu, V.Varadharajan, “Distributed Signcryption”, Lecture Notes in Computer Science,  Proceedings of INDOCRYPT’2000, Springer-Verlag, Dec.2000

110.             W.Zhao, V.Varadharajan, Y.Mu, “Fair Online Gambling”, Proceedings of the 16th Annual Computer Security Applications Conference, ACSAC 2000, IEEE Press, Dec.2000.

111.             Y.Mu, V.Varadharajan, “A Fair Electronic Cash Scheme”, 2nd International Symposium on Electronic Commerce, Lecture Notes in Computer Science, LNCS, April 01. 

 

 

Security and Mobile Systems

 

 

112.             V. Varadharajan, "Authentication in a Mobile Distributed Environment", IEE Conference on Personal Systems and Mobile Communications, IEE Press, UK.

113.             V.Varadharajan, "Security Requirements for Personal Mobile Networked Computing'', Proceedings of Second Bi-Annual International Conference on Mobile and Personal Communications Systems, Adelaide, Australia, April 1995.112

114.             V.Varadharajan, "Securing Local Area and Metropolitan Area Networks : A Practical Approach", Proceedings of the 18th National Information System Security Conference,  NISSC’95, USA, pp 249-262.

115.             Y. Mu, V. Varadharajan, "On the Design of Security Protocols for Mobile Communications", Proceedings of the Australasian Conference on Information Security and Privacy, ACISP'96, 1996. Lecture Notes in Computer Science, LNCS, Vol 1172 Springer-Verlag, pp 134-146.

116.             V.Varadharajan, Y. Mu, "Design of Secure End-to-End Protocols for Mobile Systems", Proceedings of International Wireless'96 Conference, Canada, pp 561-568, 1996.

117.             V.Varadharajan, Y. Mu, "Design of Interdomain Authentication Protocols for Mobile Systems", Proceedings of the IFIP96 International Conf. on Mobile Communications. Published also in the book “Mobile Communications” (Ed. J.L. Encarnacao and K.M. Rabaey) Chapman and Hall, pp 258-266, 1996.

118.             V.Varadharajan, Y.Mu, “Preserving Privacy in Mobile Communications : A Hybrid Method”, Proceedings of the IEEE International Conference on Personal Wireless  Communications, ICPWC’97, Dec.1997.

119.             V.Varadharajan, N.Kumar and Y.Mu, “On the Design of a Security Model for Mobile  Agents”, Proceedings of IEEE Globecom’98, Nov.1998.

120.             V.Varadharajan, “Security Enhanced Mobile Agents”, Proceedings of the ACM Conference on Computer and Communications Security, CCS’2000, ACM Press, 2000.

 

 

Formal Security Techniques

 

 

121.             V.Varadharajan, T. Humphreys, “Formal Models for Secure Systems Design'', Proceedings Enigma International Security Conference, London, June 1987.

122.               V.Varadharajan, “Developing Network Security Policy  Models'', Proceedings of the   International Conference AUSCRYPT'90, 1990.

123.               V.Varadharajan, “Modelling Information Flow Security Requirements using Petri Nets'', Proceedings of the IEEE Computer Security Foundations Workshop, Franconia,  June 1990 IEEE Press.

124.             V.Varadharajan, “Design of a Security Model'', Proceedings of the BCS/IEE UKIT'90  Conference, March 1990.

125.             V.Varadharajan, “A Petri Net Framework for Modelling Information Flow Security Policies'', Proceedings of the European Symposium on Research in Computer Security,  ESORICS'90, 1990

126.             V.Varadharajan, “Network Security Policy Models'', Lecture Notes in Computer Science,  Vol.453, pp74-95, Springer-Verlag, 1990.

127.             V.Varadharajan, “Hooking-Up Information Flow Secure Nets'', Proceedings of the 1991 IEEE Computer Security Foundations Workshop, Franconia, U.S.A, June 1990, IEEE Press.

128.             V. Sassone, V.Varadharajan, “A Unifying Petri Net Model of Non-Interference and  Non-Deducibility'', Submitted for Journal Publication.

129.             Y. Bai, V. Varadharajan, "A Logic based Approach for Non-monotonic Transformation of  Authorization Policies", Proceedings of the 20th Australian Computer  Science ACSC   Conference, Feb.1997.

130.             Y.Bai, V.Varadharajan, “A Formal Security Design Approach for Transformation of Authorization in Information Systems”.  Proceedings of the Pacific Asia Conference on Information Systems, April 1997.

131.             Y.Bai, V. Varadharajan, “Analysis and Implementation of a Formal Authorization Policy Design Approach”, Proceedings of the Australasian Conference on Security and Privacy ACISP’97, Lecture Notes in Computer Science, LNCS 1270, pp 14-36.

132.             Y.Bai, V.Varadharajan, "A Logic for State Transformations of Authorization Policies", Proceedings of the IEEE Computer Security Foundations Workshop, 1997, IEEE Computer Society Press, USA, pp 173-183.

133.             Y.Bai and V.Varadharajan, “A Logical Formalization for Specifying Authorizations in Object Oriented Databases''. Proceedings of IFIP Working Conference on Database Security, Chapman and Hall, 1999.

134.             Y.Bai and V.Varadharajan, “On Formal Languages for Sequences of Authorization Transformations''. Proceedings of International Conference on Safety, Reliability and Security of Computer Systems, SafeComp’99, 1999.

135.             H. Wang, V.Varadharajan, “A Typed First Order Logic with Five Quantifiers”, 1999 Australasian Association for Logic Conference, Extended Abstract Published in the Bulletin of Symbolic Logic, The Association for Symbolic Logic USA, 1999.

136.             H.Wang ,V.Varadharajan, J.Slaney, “Towards Perfect Objects”, Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages & Systems (TOOLS-32 Pacific'99), IEEE Computer Society, 1999

137.             H.Wang, V.Varadharajan, Y.Zhang, “Towards a Generic Logic for Analysing Cryptographic Protocols”, Proceedings of the International Conference on Distributed Systems, IWI/ICDCS’2000, IEEE Press, 2000

138.             Y.Bai, V.Varadharajan, “Access Control : Representation and Evaluation”, Proceedings of the 16th Annual Conference on Information Security, IFIP SEC’2000, 2000.

139.             H.Wang, V.Varadharajan, Y.Zhang “A Formal Language for the Specification and Manipulation of Security Policies”,  Proc. of the 16th Annual Conference on Information Security IFIP SEC’2000.

140.             Y.Zhang, V.Varadharajan, “A Logic for Modelling the Dynamics of Beliefs in Cryptographic Protocols”, Proceedings of the 24th Australasian Computer Science Conference, IEEE Press, Jan.2001.

141.             G.Saunders, M.Hitchens, V.Varadharajan, “Role based Access Control and Access Control Matrix”, Paper Submitted 2001.

 

 

Software Engineering and Formal Methods

 

 

142.             V.Varadharajan, K. Baker, “Directed Graph based Representation for Software Systems'', IEE Software Engineering Journal, Vol.2, No.1, pp 121-128, 1987.

143.             V.Varadharajan, K. Baker, “Net Based System Design and Analysis'', Computer System Science and Engg. Journal, Butterworth Pub., Vol.2, No.4,1987.

144.             V.Varadharajan, “A Petri Net Model for System Design and Refinement'', Journal of Systems and Software, May 1991.

145.             V.Varadharajan, “A Formal Approach to System Design and Refinement'', Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, May 1990.

 

 

Miscellaneous

 

 

146.             V.Varadharajan, D. Roberts, “VLSI Devices for Secure Systems'', Proceedings Enigma International Security Conference, London, June 1987.

 

 

 

Invitational Conference Papers and Presentations

 

 

147.             V.Varadharajan, “Security Considerations in Network Environment'', Proceedings of Milcomp'92 Conference, 1992 (by Invitation).

148.             V.Varadharajan, “Distributed System Security'', Proceedings of HP Computer Users Association Conference, (by invitation), Brighton, UK, 1992, pp 99-121.

149.             V.Varadharajan, “Security Management of Computer Communications'', International Computer Communications Conference ICCC'92  (by invitation), Genoa, Italy, 1992

150.             V..Varadharajan, "Security for Mobile Networked Computing", Invitational Presentation, Proceedings of the New Security Issues 94 Conference, London, 1994.

151.             V.Varadharajan, “Developments in Security Technology and Techniques”, Invitational Presentation,  IBC Workshop on Implementing IT Security Programmes, Sydney, 1995.

152.             V.Varadharajan, “Security Issues in Electronic Commerce”, APEC Forum, Oct.1998, Australia.

153.             V.Varadharajan, “Information Technology Trends and Business”, IT Conference, NSW Ministry of IT, Australia, Nov.1999 (Invitational Keynote Speech)

154.             V.Varadharajan, “Secure Networked Computing”, Keynote Speech, Asia Pacific Networks and Operations Management Conference, APNOMS’2000, Japan Oct.2000.

155.             V.Varadharajan, “Security and Networked Computing” Invitational Speech, Tools 2000 Conference, Australia, 2000.

156.             V.Varadharajan, Invited Talk : “Security Issues in Mobile Networked Computing”, International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security, May 2001.

157.             V.Varadharajan, Invited Speech, “Risks and Challenges in Pervasive Mobile Networked    Computing”, Microsoft CIO Conference, Australia, March 2001.

 

 

Additional Papers in 2001

 

 

158.               R.Shankaran, V.Varadharajan, M.Hitchens, “A Distributed Location Management Scheme for Mobile Hosts”, International IEEE Conference on Parallel and Distributed Systems, July 2001. (Accepted)

159.               V.Wietrzyk, M.Takizawa, V.Varadharajan, “A Strategy for MLS Workflow”, Proceedings of Australasian Conference on Information Security and Privacy, ACISP 2001, Lecture Notes in Computer Science, LNCS, Springer-Verlag, 2001.

160.               Y.Mu, V.Varadharajan, “A Distributed Cryptographic Scheme with Time Commitments”, Submitted for Publication.

161.               C.Ruan, V.Varadharajan, “Conflict Resolution Policies in Delegation and Access Control”, 2001 (Submitted)

162.               M.Hitchens, V.Varadharajan, “Secure XML for Role based Access Control”, 2001 (Accepted for Publication in ICICS’2001. LNCS)

163.               R.Shankaran, V.Varadharajan, “Security for Mobile Adhoc Networks”, 2001 (Accepted for Publication in IEEE PDCS, 2001)

164.               Y.Mu, V.Varadharajan, W.Zhao, “A Robust Secure PayTV System”, 2001 (Submitted)

165.               Y.Mu, V.Varadharajan, “A Complete Group Cryptography System” 2001 (Submitted)

166.               M. Hitchens, V. Varadharajan, "RBAC for XML Document Stores", 2001 International Conference on Information and Communication Security, ICICS'2001, Lecture Notes in Computer Science Series, Springer-Verlag, 2001

167.               R. Shankaran, V. Varadharajan, M. Hitchens, "A Secure Distributed Location Management Scheme for Networks with Mobile Users", 26th IEEE International      Conference on Local Computer Networks, LCN'2001, IEEE Press, Nov. 2001

168.               R. Shankaran, V. Varadharajan, M Hitchens, " Security Issues in NTDR Adhoc Networks", Proceeding of the IASTED International Conference on Parallel and      Distributed Computing Systems 2001, USA

169.               Y. Mu, V. Varadharajan, "A Fail-Stop Verifiable Secret Sharing Scheme", Proceedings of Cryptology and Network Security, 2001

170.               Y. Mu, V. Varadharajan, W. Zhao, " A Robust and Secure Broadcasting Scheme", Proceedings of IndoCrypt'2001, Lecture Notes in Computer Science, 2001

171.               C. Ruan, V. Varadharajan, "Logic-based Reasoning of Delegatable Authorizations" Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems 2002, France