Automatic Analysis of the Security of XOR-Based Key Management Schemes

Véronique Cortier, Gavin Keighren, Graham Steel

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS
Bundy, A. (Principal Investigator) & Fleuriot, J. (Co-Investigator (External))
EPSRC
1/10/04 → 30/09/07
Project: Research