Gravar-mail: Exploring the .NET framework 4 security model.