Generic and efficient attacker models in SPIN.

Noomene Ben Henda
Published in: SPIN (2014)
Keyphrases