A Model to define constraints for the attacker (e.g. finite computational resources, no access to shared keys) and to fully characterize the possible interactions between the attacker and the system under attack

Marcorocchetto [Marcorocchetto]