A Multi-Layer Empirical Validation Methodology for Security Protocols in Critical Communication Systems.

Budi Erixson, Jochen Seitz

Browse the full ICSoft paper archive.