<p>Heterogeneity is a given these days in almost any IT system installation. How can developers ensure that required security properties can be correctly implemented and deployed across all the platforms on which an application such as a Web service must run?</p>