2004 Publications

M. A. Al-Meaither and C. J. Mitchell. A secure GSM-based Murabaha transaction (pdf), In Proceedings of the 1st International Conference on Information & Communication Technologies from Theory to Applications (ICTTA 04), pages 77-78. IEEE Press, April 2004.

A. Alsaid and C. J. Mitchell. Digitally signed documents - ambiguities and solutions (pdf). In Proceedings of the 4th International Network Conference (INC2004). July 2004.

K. Billington and A. Tomlinson. Mutual authentication of B3G devices within personal distributed environments. InProceedings of 3G 2004, IEE. October 2004.

S. R. Blackburn and K. G. Paterson. Cryptanalysis of a message authentication code due to Cary and Venkatesan. In B. Roy and W. Meier, editors, Proceedings FSE04. Springer LNCS 3017, pages 446-453. Springer-Verlag, Berlin, 2004.

N. Borselius. Security for agent systems and mobile agents. In C. J. Mitchell, editor, Security for Mobility, IEE Press, pages 287-303, January 2004.

C. Boyd, W. Mao and K.G. Paterson. Key agreement using statically keyed authenticators. In M. Jakobsson, M. Yung and J. Zhou, editors, Proceedings ACNS04, Springer LNCS 3089, pages 248-262. Springer-Verlag, Berlin, 2004.

L. Chen, C.J. Kudla and K.G. Paterson. Concurrent signatures. In C. Cachin and J. Camenisch, editors, Proceedings EUROCRYPT 2004. Springer LNCS 3027, pages 287-305. Springer-Verlag, Berlin, 2004.

J. Crampton. An algebraic approach to the analysis of constrained workflow systems. In Proceedings of 3rd Workshop on Foundations of Computer Security, pages 61-74, 2004.

J. Crampton. Applying hierarchical and role-based access control to XML documents. In Proceedings of ACM Workshop on Secure Web Services 2004, pages 41-50, 2004.

A. W. Dent and A. Tomlinson. Controlling transmission of broadcast content. GB patent filing, GB0403218.1, 13th February 2004.

A. W. Dent and A. Tomlinson. Regional blackouts: protection of broadcast content delivered over 3G networks. In Proceedings of 3G 2004, IEE. October 2004.

A. Gajparia, C. J. Mitchell and C. Y. Yeun. The Location Information Preference Authority: Supporting user privacy in location based services. In S. Liimatainen and T. Virtanen, editors, Proceedings of Nordsec 2004, The 9th Nordic Workshop on Secure IT-systems, pages 91-96. November 2004.

S. D. Galbraith, H. Hopkins and I. Shparlinski. Secure bilinear Diffie-Hellman bits. In H. Wang, J. Pieprzyk and V. Varadharajan, editors, Proceedings of ACISP 2004, Lecture Notes in Computer Science 3108, pages 370-378. Springer-Verlag, 2004.

S. D. Galbraith and V. Rotger. Easy decision Diffie-Hellman groups. LMS Journal of computational mathematics, to appear.

C. Gehrmann, C. J. Mitchell and K. Nyberg. Manual authentication for wireless devices (pdf). Cryptobytes 7(1):29-37, Spring 2004.

T. Hsu and L. Rila. Investigating user privacy risks in single-sign-on-enabled systems. In Proceedings of the Fourth International Network Conference (INC2004), pages 377-384, University of Plymouth, United Kingdom 2004.

R.J. Hulsebosch, C. Gunther, G. Horn, S. Holtmanns, K. Howker, K.G. Paterson, J. Claessens and M. Schuba. Pioneering advanced mobile privacy and security. In C. J. Mitchell, editor, Security for Mobility, IEE Telecommunications Series 51, pages 383-432, IEE Press, 2004.

W.-A. Jackson, K.M. Martin and C.M. O'Keefe. Geometrical contributions to secret sharing theory. Journal of Geometry 79(1-2):102-133, 2004.

H. Knospe and S. Schwiderski-Grosche. Secure mobile commerce. In C. J. Mitchell, editor, Security for Mobility, IEE Press, pages 325-346, January 2004.

K. Markantonakis and K. Mayes. Smart Card technology in the public transport industry. Secure Magazine - The Silicon Trust Report, 1:26-29, February 2004.

K. Markantonakis and K. Mayes. A secure channel protocol for multi-application smart cards based on public key cryptography. In CMS 2004 - Eight IFIP TC-6-11 Conference on Communications and Multimedia Security, September 2004.

C. J. Mitchell (editor). Security for Mobility. IEE, London, 2004.

C. J. Mitchell. Cryptography for mobile security. In C. J. Mitchell, editor, Security for Mobility, Chapter 1, pages 3-10. IEE, London, 2004.

C. J. Mitchell and R. Schaffelhofer. The personal PKI. In C. J. Mitchell, editor, Security for Mobility, Chapter 3, pages 35-61. IEE, London, 2004.

C. J. Mitchell and P. Pagliusi. Is entity authentication necessary? (pdf). In Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19 2002, Revised Papers. Lecture Notes in Computer Science 2845, pages 20-33. Springer-Verlag, 2004.

C. J. Mitchell and A. Pashalidis. Limits to anonymity when using credentials. In Proceedings of the 12th International Workshop on Security Protocols, Cambridge, UK, April 2004. Springer-Verlag LNCS, to appear. [A copy of the PowerPoint presentation made at the conference is also available].

S. Ng. A characterisation of posets that are nearly antichains. Order 21:1-5, 2004.

S.-L. Ng and C. J. Mitchell. Comments on mutual authentication and key exchange protocols for low power wireless communications (pdf). IEEE Communications Letters, 8(4):262-263, 2004.

P. S. Pagliusi and C. J. Mitchell. Heterogeneous internet access via PANA/UMTS. To appear in WSEAS Transactions. [Also in the Proceedings of the 3rd International Conference on Information Security, Hardware/Software Codesign and Computer Networks - ISCOCO 2004, Rio De Janeiro, Brazil, October 2004, World Scientific and Engineering Academy and Society, 2004].

A. Pashalidis and C. J. Mitchell. Using EMV cards for single sign-on (pdf). In Proceedings - Public Key Infrastructure: First European PKI Workshop, Research and Applications (EuroPKI 2004). Lecture Notes in Computer Science 3093, pages 205-217. Springer-Verlag, 2004.

A. Pashalidis and C. J. Mitchell. A security model for anonymous credential systems (pdf). In Y. Deswarte, F. Cuppens, S. Jajodia and L. Wang, editors, Information Security Management, Education and Privacy, Proceedings of the 3rd Working Conference on Privacy and Anonymity in Networked and Distributed Systems, I-NetSec'04, pages 183-189. IFIP Conference Proceedings 148, Kluwer Academic Publishers, Boston, 2004.

A. Pashalidis and C. J. Mitchell. Limits to anonymity when using credentials (pdf). In Proceedings of the 12th International Workshop on Security Protocols, Cambridge, UK, April 2004, Springer-Verlag LNCS, to appear.

A. Pashalidis and C. J. Mitchell. Impostor: A single sign-on system for use from untrusted devices (pdf). In Proceedings of IEEE Globecom 2004, Vol 4, pages 2191-2195. IEEE Press, 2004.

K. G. Paterson and A. Yau. Padding oracle attacks on the ISO CBC mode encryption standard. In T. Okamoto, editor, Proceedings of CT-RSA04. Lecture Notes in Computer Science 2964, pages 305-323. Springer-Verlag, 2004.

K. G. Paterson. On codes with low peak-to-average power ratio for multi-code CDMA. IEEE Transactions on Information Theory, 50(3):550-559, 2004.

K. Rantos and K. Markantonakis. An asymmetric cryptography secure channel protocol for smart cards, In Proceedings of the 19th IFIP International Information Security Conference - TC11 - Security and Protection in Information Processing Systems. August 2004.

S. Schwiderski-Grosche and H. Knospe. Public key based network access. In C. J. Mitchell, editor, Security for Mobility, pages 171-189, IEE Press, January 2004.

S. Schwiderski-Grosche and A. Tomlinson. Application of Grid Security to Personal Distributed Environments. In Proceedings of GADA'04, Springer-Verlag (LNCS), October 2004.

S. Schwiderski-Grosche, A. Tomlinson, J. M. Irvine and S. K. Goo. Security challenges in the personal distributed environment. In Proceedings of VTC Fall04, IEEE. October 2004.

K. Tan, J. Crampton, and C. Gunter. The consistency of task-based authorization constraints in workflow systems. In Proceedings of 17th IEEE Computer Security Foundations Workshop, pages 155-169, 2004.

G. Wunder and K.G. Paterson. Crest-factor analysis of carrier interferometry MC-CDMA and OFDM systems. To be presented at 2004 International Symposium on Information Theory, Chicago, July 2004.

P. Yau and V. Sdralia. Towards the security of routing in ad hoc networks. In C. J. Mitchell, editor, Security for Mobility, pages 231-268, IEE Press, January 2004.

P. Yau and C. J. Mitchell. 2HARP: A secure routing protocol to detect failed and selfish nodes in mobile ad hoc networks. In Proceedings of the 5th World Wireless Congress (WWC 2004), pages 1-6. Delson Group Inc., 2004.

O. Zakaria. Information Security Culture: A Taxonomy of Positive Security Behaviour. In Proceedings of the 3rd European Conference on Information Warfare and Security, pages 379-386, MCIL. 2004.

O. Zakaria. Understanding Challenges of Information Security Culture: A Methodological Issue. To appear in Proceedings of the 2nd Australian Information Security Management Conference, Perth, Australia. November 2004.

Q. Zhang, J. N. B. Moita, K. Mayes and K. Markantonakis. The secure and multiple payment system based on the mobile phone platform. Workshop on Information Security Applications - WISA 2004, to be published by Springer Verlag in its Lecture Notes in Computer Science (LNCS) Series.