Modelling Attacker with Deciding Security Properties by Induction and Deduction.

Yoney Kirsal Ever, Agozie Eneh, Orhan Gemikonakli, Leonardo Mostarda

Browse the full AINA paper archive.