Security Testing, Modeling, and Verification of Dedicated Security Devices Titolo in italiano: Testing, modellazione e verifica di proprietà di sicurezza di dispositivi dedicati alla sicurezza
