Behavioural contracts are formal specifications of interaction protocols between two or more
distributed services. Despite the heterogeneous nature of the formalisms for behavioural …

Modern mobile devices offer users powerful computational capabilities and complete
customization. As a matter of fact, today smartphones and tablets have remarkable hardware …

We outline a methodology for designing and composing services in a secure manner. In
particular, we are concerned with safety properties of service behaviour. Services can …

An approach to the formal description of service contracts is presented in terms of automata.
We focus on the basic property of guaranteeing that in the multi-party composition of …

Android OS is currently the most widespread mobile operating system and is very likely to
remain so in the near future. The number of available Android applications will soon reach …

Document image quality assessment (DIQA) is an important and challenging problem in real
applications. In order to predict the quality scores of document images, this paper proposes …

Web service process reuse can help us efficiently to construct a new service or service
process by using the existing service processes generated by service composition. Since …

This paper is a basic introduction to some of the main themes in the design and analysis of
security protocols. It includes a brief explanation of the principles of protocol design and of a …

This paper introduces the Professional Engineering Pathways Study (PEPS), a three-year
study aimed at developing new understandings of early career engineering career …

We propose a model for specifying, analysing and enforcing safe usage of resources. Our
usage policies allow for parametricity over resources, and they can be enforced through …