Infrastructure Security : International Conference InfraSec 2002 Bristol UK October 1–3 2002 Proceedings This book constitutes the refereed proceedings of the Infrastructure Security Conference InfraSec 2002 held in Bristol UK in October 2002.The 23 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on biometrics; identification authentication and process; analysis process; mobile networks; vulnerability assessment and logs; systems design; formal methods; cryptographic techniques and networks