Part of Luca's project for Security Analysis of Large-Scale Computer Systems (EP2790)