Gadyatskaya, Olga and Lostal, Eduardo and Massacci, Fabio (2011) Load Time Security Verification: The Claim Checker. UNSPECIFIED.