Front matter
1-18
Biometric Authentication in Infrastructure Security
John Armington, Purdy Ho, Paul Koznek and Richard Martinez
19-29
Denial of Access in Biometrics-Based Authentication Systems
Luciano Rila
30-39
A Novel Approach to Proactive Password Checking
Carlo Blundo, Paolo D’Arco, Alfredo De Santis and Clemente Galdi
40-58
Single Sign-On Architectures
Jan De Clercq
59-72
Active Digital Credentials: Dynamic Provision of Up-to-Date Identity Information
Marco Casassa Mont and Richard Brown
73-87
How to Buy Better Testing Using Competition to Get the Most Security and Robustness for Your Dollar
Stuart Schechter
88-103
Structured Risk Analysis
Neil McEvoy and Andrew Whitcombe
104-114
A Model Enabling Law Compliant Privacy Protection through the Selection and Evaluation of Appropriate Security Controls
E. S. Siougle and V. C. Zorkadis
115-128
Authentication and Authorization of Mobile Clients in Public Data Networks
Prakash Reddy, Venky Krishnan, Kan Zhang and Devaraj Das
129-144
A Contemporary Foreword on GSM Security
Paulo S. Pagliusi
145-161
Vulnerability Assessment Simulation for Information Infrastructure Protection
HyungJong Kim, KyungHee Koh, DongHoon Shin and HongGeun Kim
162-179
Pseudonymizing Unix Log Files
Ulrich Flegel
180-198
DPS
: An Architectural Style for Development of Secure Software
Pascal Fenkam, Harald Gall, Mehdi Jazayeri and Christopher Kruegel
199-213
A New Infrastructure for User Tracking Prevention and Privacy Protection in Internet Shopping
Matthias Enzmann, Thomas Kunz and Markus Schneider
214-226
Different Smartcard-Based Approaches to Physical Access Control
Óscar Cánovas, Antonio F. Gómez, Humberto Martínez and Gregorio Martínez
227-245
Authenticity and Provability — A Formal Framework
Sigrid Gürgens, Peter Ochsenschläger and Carsten Rudolph
246-259
Protocol Engineering Applied to Formal Analysis of Security Systems
Javier Lopez, Juan J. Ortega and Jose M. Troya
260-275
Applications of Multiple Trust Authorities in Pairing Based Cryptosystems
L. Chen, K. Harrison, D. Soldera and N. P. Smart
276-287
Plausible Deniability Using Automated Linguistic Stegonagraphy
Mark Chapman and George Davida2
288-302
Virtual Software Tokens - A Practical Way to Secure PKI Roaming
Taekyoung Kwon
303-313
Bit-Serial AOP Arithmetic Architectures over
GF
(2m)
Kim Hyun-Sung and Yoo Kee-Young
314-324
A Practical Distributed Authorization System for GARA
William A. Adamson and Olga Kornievskaia
325-337
Design of a VPN Software Solution Integrating TCP and UDP Services
Javier Lopez, Jose A. Montenegro, Rodrigo Roman and Jorge Davila
Back matter