Information Flow Analysis Based Security Checking of Health Service Composition Plans

In this paper, we present an approach to solve the problem of provably secure execution of semantic web service composition plans. The integrated components of this approach include our OWL-S service matchmaker, OWLSMX, the service composition planner, OWLS-XPlan, and the security checker module for formally verifying the compliance of the created composition plan to be executed with given data and service security policies using type-based information flow analysis. We demonstrate this approach by means of its application to a use case scenario of health service composition planning

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Household Savings in Germany

This paper describes how German households save and how their saving behavior is linked to public policy, notably pension policy. The analysis is based on a synthetic panel of four cross sections of the German Income and Expenditure Survey ("Einkommens- und Verbrauchsstichproben," EVS, 1978, 1983, 1988, and 1993). The paper carefully distinguishes between several saving measures and concepts. It separates discretionary savings from mandatory savings and uses two flow measures: first, the sum of purchases of assets minus the sum of sales of assets and, second, the residual of income minus consumption. Our main finding is a hump-shaped age-saving profile with a high overall saving rate. However, savings remain positive in old age, even for most low-income households. How can we explain what may be termed the "German savings puzzle"? Germany has one of the most generous public pension and health insurance systems in the world, yet private savings are high until old age. We provide a complicated answer that combines historical facts with capital market imperfections and a distinction between the role of discretionary and mandatory savings.

"Household Savings in Germany"

This paper describes how German households save and how their saving behavior is linked to public policy, notably pension policy. The analysis is based on a synthetic panel of four cross sections of the German Income and Expenditure Survey ("Einkommens- und Verbrauchsstichproben," EVS,1978, 1983, 1988, and 1993). The paper carefully distinguishes between several saving measures and concepts. It separates discretionary savings from mandatory savings and uses two flow measures: first, the sum of purchases of assets minus the sum of sales of assets and, second, the residual of income minus consumption. Our main finding is a hump-shaped age-saving profile with a high overall saving rate. However, savings remain positive in old age, even for most low-income households. How can we explain what may be termed the "German savings puzzle"? Germany has one of the most generous public pension and health insurance systems in the world, yet private savings are high until old age. We provide a complicated answer that combines historical facts with capital market imperfections and a distinction between the role of discretionary and mandatory savings.

"A Comparison of Inequality and Living Standards in Canada and the United States Using an Expanded Measure of Economic Well-Being"

We use the Levy Institute Measure of Economic Well-being (LIMEW), the most comprehensive income measure available to date, to compare economic well-being in Canada and the United States in the first decade of the 21st century. This study represents the first international comparison based on LIMEW, which differs from the standard measure of gross money income (MI) in that it includes noncash government transfers, public consumption, income from wealth, and household production, and nets out all personal taxes. We find that, relative to the United States, median equivalent LIMEW was 11 percent lower in Canada in 2000. By 2005, this gap had narrowed to 7 percent, while the difference in median equivalent MI was only 3 percent. Inequality was notably lower in Canada, with a Gini coefficient of 0.285 for equivalent LIMEW in 2005, compared to a US coefficient of 0.376-a gap that primarily reflects the greater importance of income from wealth in the States. However, the difference in Gini coefficients declined between 2000 and 2005. We also find that the elderly were better off relative to the nonelderly in the United States, but that high school graduates did better relative to college graduates in Canada.Well-Being; Living Standards; Inequality; Income; International Comparisons

Modelling, validating, and ranking of secure service compositions

This is the author accepted manuscript. The final version is available from the publisher via the DOI in this recordIn the world of large-scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service-oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are developed independently and operated by different parties. At the same time, SaaS applications are used more and more widely by enterprises as well as public services for providing critical services, including those processing security or privacy of relevant data. Therefore, providing secure and reliable service compositions is increasingly needed to ensure the success of SaaS solutions. Building such service compositions securely is still an unsolved problem. In this paper, we present a framework for modelling, validating, and ranking secure service compositions that integrate both automated services as well as services that interact with humans. As a unique feature, our approach for ranking services integrates validated properties (eg, based on the result of formally analysing the source code of a service implementation) as well as contractual properties that are part of the service level agreement and, thus, not necessarily ensured on a technical level

Dynamic Privacy Management In Services Based Interactions

Technology advancements have enabled the distribution and sharing of users personal data over several data sources. Each data source is potentially managed by a different organization, which may expose its data as a Web service. Using such Web services, dynamic composition of atomic data items coupled with the context in which the data is accessed may breach sensitive data that may not comply with the users preference at the time of data collection. Thus, providing uniform access policies to such data can lead to privacy problems. Some fairly recent research has focused on providing solutions for dynamic privacy management. This thesis advances these techniques, and fills some gaps in the existing works. In particular, dynamically incorporating user access context into the privacy policy decision, and its enforcement

PLACES'10: The 3rd Workshop on Programmng Language Approaches to concurrency and Communication-Centric Software

Paphos, Cyprus. March 201