Safe Composition of Web Communication Protocols for Extensible Edge Services

As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in undesirable behaviors (e.g., livelocks) there needs to be a methodology for the automated checking of the "safety" of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool from the formal systems verification community, can be used to quickly identify problematic behaviors of application-layer protocols with non-trivial communication models—such as HTTP with the addition of the "100 Continue" mechanism. As a case study, we examine several versions of the specification for the Continue mechanism; our experiments mechanically uncovered multi-version interoperability problems, including some which motivated revisions of HTTP/1.1 and some which persist even with the current version of the protocol. One such problem resembles a classic degradation-of-service attack, but can arise between well-meaning peers. We also discuss how the methods we employ can be used to make explicit the requirements for hardening a protocol's implementation against potentially malicious peers, and for verifying an implementation's interoperability with the full range of allowable peer behaviors.

XBATTLE: A Dynamic Distributed Model of Generalized Military Conflict

A dynamic distributed model is presented that reproduces the dynamics of a wide range of varied battle scenarios with a general and abstract representation. The model illustrates the rich dynamic behavior that can be achieved from a simple generic model.

A dual-band antenna enabling improved quality of service in multi-radio wireless sensor applications in indoor environments

Science Foundation Ireland (CSET - Centre for Science, Engineering and Technology, Grant No. 07/CE/11147)

Shaping the Future of Mental Health Policy and Legislation in Northern Ireland: The Impact of Service User and Professional Social Work Discourses

This paper explores the complex interrelationship between service user and professional social work discourses and provides a critical commentary on their respective contributions to the recent review of mental health policy and legislation in Northern Ireland. The analysis indicates that dominant trends in mental health care, as mediated through service structures and institutional identities, have tended to prioritize the more coercive aspects of the social work role and reinforce existing power inequalities with service users. It is argued that such developments underline the need for a ‘refocusing’ debate in mental health social work to consider how a more appropriate balance can be achieved between its participatory/empowering and regulatory/coercive functions. Whilst highlighting both congruence and dissonance between respective discourses, the paper concludes that opportunities exist within the current change process for service users and social workers to build closer alliances in working together to reconstruct practice, safeguard human rights and develop innovative alternatives to a traditional bio-medical model of treatment.