Optimizing secure web services with MAWeS: a case study