Publications

2002

Heather, J. (2002). Strand Spaces and Rank Functions: More Than Distant Cousins. Proceedings of 15th IEEE Computer Security Foundations Workshop, pp. 104-116.

Heather, J. & Schneider, S. (2002). Equal To The Task? In Dieter Gollmann and Gunter Karjoth and Michael Waidner (Ed), Esorics 2002, vol. 2502, pp. 162-177. Springer-Verlag.

Heather, J., Lowe, G. & Schneider, S. (2002). How to prevent type flaw attacks on security protocols. Journal of Computer Security

Heather, J. & Schneider, S. (2002). Security Protocol Verification: The Rank Functions Way. Journal of Computer Security

2000

Heather, J., Lowe, G. & Schneider, S. (2000). How to prevent type flaw attacks on security protocols. Proceeding of the 13th IEEE Computer Security foundations Workshop,

Heather, J. (2000). Oh! Is it really you?--Using rank functions to verify authentication protocols. Unpublished doctoral thesis. Royal Holloway, University of London, Department of Computer Science.

Heather, J. & Schneider, S. (2000). Towards automatic verification of authentication protocols on an unbounded network. Proceedings of 13th IEEE Computer Security Foundations Workshop, pp. 132-143.