Computational indistinguishability is a notion in complexity-theoretic cryptography and is used to define many security criteria. However, in traditional cryptography, proving computational indistinguishability is usually informal and becomes error-prone when cryptographic constructions are complex. This paper presents a formal proof system based on an extension of Hofmann’s SLR language, which...

Background and Objectives: Informal payment in the health settings is a significant challenge facing the health system, with consequences such as inequity in access to healthcare services, distrust to health care system, and dissatisfied customers. Detailed identification of the nature of the problem is perquisite to developing relevant overcoming strategies. Given that, this study aimed at pro...

Objective: To develop proof strategies to formally study the expressiveness of workflow-based languages, and to investigate their applicability to clinical workflow languages. Method: We propose two strategies for studying the expressiveness of workflow-based languages based on a standard set of workflow patterns expressed as Petri Nets and notions of congruence and bisimilarity from process ca...

Background: Informal payments can cause delayed access to health care services, forcing people to sell their properties for cost of treatment; and as a result, they lose trust in the health system. Considering the importance of this issue, this study was conducted in 2016 to identify solutions to reduce and eliminate informal payments in Iran’s health system.    Methods: Initia...

The study examined the sources of informal finance in aiding climate change adaptation in South eastern Nigeria. Random sampling was adopted in the selection of 6 out of the 9 communities in the study area. From each of these selected communities, 10 crop farmers were randomly selected giving a total number of 60 respondents. Descriptive statistics such as percentages and frequency, as well as ...

BACKGROUND The inverse care law proposing that medical services are distributed inversely to population health needs, and that this law operates more completely where medical care is most exposed to market forces, was first suggested by Tudor Hart in 1971. This paper considers whether an inverse care law can be observed for the provision of informal care as well as for medical care. AIM Using...

The paper discusses the shift to narrative studies and the growth of biographical research in the social sciences as a way of knowing persons. Dangers inherent in false assumptions of knowledge of interviewing and semi-structured probes are noted. The author's experience with the Biographic Narrative Interpretive Method is discussed, using examples from his research on identity and the informal...

BACKGROUND AND PURPOSE Approximately 9000 people in the UK are affected by Huntington's disease (HD). People with HD require ongoing health and social care support. There is a knowledge gap about costs of health and social care use associated with HD in the UK. This paper estimates the economic cost in the UK. METHODS Data on UK patients for the year 2013 were extracted from the European Hunt...