Modelling secrecy by Jippe van der Meulen