Output details

Abstractions of Web Services

<07> This paper provides a formal framework for describing web services; the approach captures two complementary models one is state based, described in Z notation, but the other is event based, described in Hoare’s CSP, and is systematically derived from the first model. This approach formed the basis of designing subsequent secure web services as functional models which are systematically supplemented by successive wrappers capturing security controls such as authentication, authorization, auditing, firewalls, and intrusion detection. This work formed the foundation upon which Dr Haidar was funded to modularly implement the Application Hosting Environment toolkit used by several international e-science groups to securely control computational applications on grid resources.