"Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication ..."

Wei Wang, Dongyao Ji (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics