Semantics. The strictness of a security model says little about the security of a security model, especially when comparing different security models. (And not

Semantics. The strictness of a security model says little about the security of a security model, especially when comparing different security models. (And not all security is wrapped up in a security model either! I wouldn't trust an Android or iPhone conversation to remain private, fortunately there's PGP.)