Automated proofs for Diffie–Hellman–based key exchanges

We present an automated verification method for security of Diffie–Hellman–based key exchange protocols. The method includes a Hoare-style logic and syntactic checking. The method is applied to protocols in a simplified version of the Bellare–Rogaway–Pointcheval model (2000). The security of the protocol in the complete model can be established automatically by a modular proof technique of Kudla and Paterson (2005).

Automated proof for formal indistinguishability and its applications

Bana et al. proposed the relation formal indistinguishability (FIR), i.e. an equivalence between two terms built from an abstract algebra. Later Ene et al. extended it to cover active adversaries and random oracles. This notion enables a framework to verify computational indistinguishability while still offering the simplicity and formality of symbolic methods. We are in the process of making an automated tool for checking FIR between two terms. First, we extend the work by Ene et al. further, by covering ordered sorts and simplifying the way to cope with random oracles. Second, we investigate the possibility of combining algebras together, since it makes the tool scalable and able to cover a wide class of cryptographic schemes. Specially, we show that the combined algebra is still computationally sound, as long as each algebra is sound. Third, we design some proving strategies and implement the tool. Basically, the strategies allow us to find a sequence of intermediate terms, which are formally indistinguishable, between two given terms. FIR between the two given terms is then guaranteed by the transitivity of FIR. Finally, we show applications of the work, e.g. on key exchanges and encryption schemes. In the future, the tool should be extended easily to cover many schemes. This work continues previous research of ours on use of compilers to aid in automated proofs for key exchange.

Brivanib alaninate, a dual inhibitor of vascular endothelial growth factor receptor and fibroblast growth factor receptor tyrosine kinases, induces growth inhibition in mouse models of human hepatocellular carcinoma

PURPOSE: Hreceptor (VEGFR) and FGF receptor (FGFR) signaling pathways. EXPERIMENTAL DESIGN: Six different s.c. patient-derived HCC xenografts were implanted into mice. Tumor growth was evaluated in mice treated with brivanib compared with control. The effects of brivanib on apoptosis and cell proliferation were evaluated by immunohistochemistry. The SK-HEP1 and HepG2 cells were used to investigate the effects of brivanib on the VEGFR-2 and FGFR-1 signaling pathways in vitro. Western blotting was used to determine changes in proteins in these xenografts and cell lines. RESULTS: Brivanib significantly suppressed tumor growth in five of six xenograft lines. Furthermore, brivanib-induced growth inhibition was associated with a decrease in phosphorylated VEGFR-2 at Tyr(1054/1059), increased apoptosis, reduced microvessel density, inhibition of cell proliferation, and down-regulation of cell cycle regulators. The levels of FGFR-1 and FGFR-2 expression in these xenograft lines were positively correlated with its sensitivity to brivanib-induced growth inhibition. In VEGF-stimulated and basic FGF stimulated SK-HEP1 cells, brivanib significantly inhibited VEGFR-2, FGFR-1, extracellular signal-regulated kinase 1/2, and Akt phosphorylation. CONCLUSION: This study provides a strong rationale for clinical investigation of brivanib in patients with HCC.

Lessons learned from implementation of a demonstration program to reduce the burden of anemia and hookworm in women in Yen Bai Province, Viet Nam

Background Iron deficiency, anemia and hookworm disease are important public health problems for women of reproductive age living in developing countries and affect the health of newborns and infants. Iron supplementation and deworming treatment are effective in addressing these problems in both pregnant and non-pregnant women. Daily iron supplementation and deworming after the first trimester is recommended for pregnant women although these programs usually do not operate efficiently or effectively. Weekly iron-folic acid supplementation and regular deworming for non-pregnant women may be a viable approach for improving iron status and preventing anemia during the reproductive years. Addressing these diseases at a population level before women become pregnant could significantly improve women's health before and during pregnancy, as well as their infants' growth and development. Methods and Results This paper describes the major processes undertaken in a demonstration intervention of preventive weekly iron-folic acid supplementation with regular deworming for all 52,000 women aged 15–45 years in two districts of Yen Bai province, in northern Viet Nam. The intervention strategy included extensive consultation with community leaders and village, commune, district and provincial health staff, and training for village health workers. Distribution of the drugs was integrated with the existing health service infrastructure and the village health workers were the direct point of contact with women. Iron-folic acid tablets and deworming treatment were provided free of charge from May 2006. An independent Vietnamese NGO was commissioned to evaluate compliance and identify potential problems. The program resulted in effective distribution of iron-folic acid tablets and deworming treatment to all villages in the target districts, with full or partial compliance of 85%. Conclusion Training for health staff, the strong commitment of all partners and the use of appropriate educational materials led to broad support for weekly iron-folic acid supplementation and high participation in the regular deworming days. In March 2008 the program was expanded to all districts in the province, a target population of approximately 250,000 WRA, and management was handed over to provincial authorities.

Optical waveguide and cavity effects on whispering-gallery mode resonances in a ZnO nanonail

Spatially resolved cathodoluminescence (CL) study of a ZnO nanonail, having thin shank, tapered neck, and hexagonal head sections, is reported. Monochromatic imaging and line scan profiling indicate that the wave guiding and leaking from growth imperfections in addition to the oxygen deficiency variation determine the spatial contrast of CL emissions. Occurrence of resonance peaks at identical wavelengths regardless of CL-excitation spots is inconsistent with the whispering-gallery mode (WGM) resonances of a two-dimensional cavity in the finite difference time domain simulation. However, three dimensioanl cavity simulation produced WGM peaks that are consistent with the experimental spectra, including transverse-electric resonances that are comparable to transverse-magnetic ones.

Entrepreneurial becoming : an educational pathway out of poverty

This paper reports a longitudinal analysis of 20 necessity driven micro-entrepreneurs operating in Beira, Central Mozambique, who received funding and training from the same NGO to establish or grow their business activities and reports the development of these entrepreneurs in terms of their acquired entrepreneurial potential for long-term success. The results indicate there is a process of entrepreneurial becoming that is not just about access to finance but especially learning and, when successful, this process supports the transformation of survival micro-enterprises into entrepreneurial micro-businesses. The concept of ‘becoming’ contains an implicit temporal dimension. Becoming suggests a transformation over time: a change from what one is already. In this study, we witness a significant change in understanding how a business needs to operate, in recognizing opportunities, thinking more creatively, and building self-confidence.

The role of transport infrastructure in facilitating the survival and growth of micro-enterprises in developing economies

Transport and logistics are essential to effective business. Very little is currently known about the impact of improved transport on micro-enterprises in developing economies and whether improvements in this area would assist the very poor. This paper looks at the obstacles of an inefficient transport facilitation system and the high costs incurred by 22 survival micro-entrepreneurs funded by the same local NGO and operating in diverse industry sectors in a peri-urban context in Mozambique. Six case studies are selected to illustrate the most common constraints they face. The perspectives of the micro-business owners are confronted with those of government officials and community leaders for two reasons: to identify any mismatch and to discuss possible solutions. Significant discrepancies are detected between government agenda and needs of the population, while community-based entrepreneurship (CBE) is discussed as a possible collective strategy in dealing with the problem.

Deliberation and empowerment in Rio de Janeiro's favelas

In modern day Brazil, new media initiatives centred in local communities are attempting to change the face of mainstream ideas about favelas and their inhabitants. One of these initiatives is Viva Favela which is ideologically and physically supported by the NGO Viva Rio that is based in Rio de Janeiro. This non-government organisation runs projects that provide favela residents with skills to take, edit and print their own(photo)journalism contents that enable a community-based framing and documentation of favela life, personalities and issues. The NGO furthermore has developed a range of public venues for displaying these works of (photo)journalism, thus minimising the invisibility that favela dwellers feel in Brazilian political life. This paper takes a discursive and ethnographic approach to investigating how community media might contribute with the aims of empowering people and supporting deliberation within Rio de Janeiro’s favelas.

Reduced sampling efficiency causes degraded Vernier hyperacuity with normal aging: Vernier acuity in position noise

Vernier acuity, a form of visual hyperacuity, is amongst the most precise forms of spatial vision. Under optimal conditions Vernier thresholds are much finer than the inter-photoreceptor distance. Achievement of such high precision is based substantially on cortical computations, most likely in the primary visual cortex. Using stimuli with added positional noise, we show that Vernier processing is reduced with advancing age across a wide range of noise levels. Using an ideal observer model, we are able to characterize the mechanisms underlying age-related loss, and show that the reduction in Vernier acuity can be mainly attributed to the reduction in efficiency of sampling, with no significant change in the level of internal position noise, or spatial distortion, in the visual system.

Non-Governmental Organisations(NGOs) in Bangladesh : an assessment of their legal status

Despite multiple efforts, the amount of poverty in Bangladesh has remained alarmingly high by any standard. Two salient characteristics of poverty alleviation in Bangladesh are: their poor accessibility for the ‘target’ population (the rural poor), and lack of co-ordination between government and the Non-Government Organisations. The moment the state alone is unable to combat poverty then the NGOs come into the picture to fill the void. First Britain as a colonial power, then the East Pakistan Government and the Government of Bangladesh have promulgated Ordinances and Regulations for the practical regulation of NGOs. The loopholes and flaws within the legal framework have given the NGOs opportunities to violate the Ordinances and Regulations. A better situation could be achieved by modifying and strictly implementing such state rules, ensuring accountability, effective state control, and meaningful NGO-State collaboration and co-operation.

Global civil society and adult education for social change : a postcolonial perspective

Adult education plays an important role in global economic development and features prominently in debates about changing requirements of post-industrial knowledge societies. This dominant technical-instrumental understanding of adult education in public discourse masks the transformative function of certain types of adult education - that is, the possibilities of adult education to improve social justice issues such as workers’ rights, human rights, civic participation in governance and socially just development. Given the increasing social stratification between and within the North and South in the global era, the potential of adult education to effect social change has been rediscovered by organisations within global civil society, namely international non-governmental organisations (INGOs). The broad objective of this research was to carry out an in-depth qualitative case study of a human rights advocacy program provided by a Northern INGO predominantly operating within the global South. The study analyses how participants see this program in terms of its potential to contribute to progressive social change in their home communities across the Asia-Pacific region. The following questions guided the study: 1. To what extent does this adult education program challenge existing systems of domination and marginalisation? 2. How did completion of the program affect participants’ views of their abilities to facilitate social action within their communities? Data sources for this research were interviews with 19 participants and staff and questionnaires from 28 participants of the program from a variety of countries in the Asia-pacific region. The gap in the literature that this study addressed is that existing empirical research sidelines the analysis of the globalisation, adult education, and social change nexus from a perspective that takes the marginalised other seriously, tending instead to mirror the material subjugation of the South in discursive practices. Social change is highly context-specific and strategies to advance it depend on the way in which people understand their reality and are affected by adverse social conditions. The present study employed a postcolonial framework that provided a holistic approach to analysing adult education for social change inclusive of material, political, and social conditions and the interplay between these from the local to the global level. The program convincingly exemplified an example of adult education for counter-hegemonic resistance against the dominant neoliberal discourse. It achieved this by enabling participants, based on Freirian pedagogical principles, to locate the problem of social change and frame their strategies to address it within mutually constitutive local and global developments and the discourses that describe them. It provided the underpinning knowledge and skills for effective advocacy and created opportunities to build networks between various stakeholders. At minimum, most advocates accord their participation in the program a supporting role in enhancing their ability to examine causes for social injustices and ways to address these. Some advocates even regarded their program participation as fundamental in understanding these issues. Almost all participants reported an increased skill-set that enabled them to become more effective advocates.

Meta-evaluation to improve learning, evaluation capacity development and sustainability : Findings from a participatory evaluation project in Nepal

Recent studies suggest that meta-evaluation can be valuable in developing new approaches to evaluation, building evaluation capacities, and enhancing organizational learning. These new extensions of the concept of meta-evaluation are significant, given the growing emphasis on improving the quality and effectiveness of evaluation practices in the South Asian region. Following a review of the literature, this paper presents a case study of the use of concurrent meta-evaluation in the four-year project Assessing Communication for Social Change which developed and trialled a participatory impact assessment methodology in collaboration with a development communication Non-government organization (NGO) in Nepal. Key objectives of the meta-evaluation included to: continuously develop, adapt and improve the impact assessment methodology, Monitoring and Evaluation (M&E) systems and process and other project activities; identify impacts of the project; and build capacities in critical reflection and review. Our analysis indicates that this meta-evaluation was essential to understanding various constraints related to the organizational context that affected the success of the project and the development of improved M&E systems and capacities within the NGO. We identified several limitations of our meta-evaluation methods, which were balanced by the strengths of other methods. Our case study suggests that as well as assessing the quality, credibility and value of evaluation practices, meta-evaluations need to focus on important contextual issues that can have significant impacts on the outcomes of participatory evaluation projects. They include hierarchical organizational cultures, communication barriers, power/knowledge relations, and the time and resources available. Meta-evaluations also need to consider wider issues such as the sustainability of evaluation systems and approaches.

The relationship between Bayesian motor unit number estimation and histological measurements of motor neurons in wild-type and SOD1 G93A mice

Objective: To assess the relationship between Bayesian MUNE and histological motor neuron counts in wild-type mice and in an animal model of ALS. Methods: We performed Bayesian MUNE paired with histological counts of motor neurons in the lumbar spinal cord of wild-type mice and transgenic SOD1 G93A mice that show progressive weakness over time. We evaluated the number of acetylcholine endplates that were innervated by a presynaptic nerve. Results: In wild-type mice, the motor unit number in the gastrocnemius muscle estimated by Bayesian MUNE was approximately half the number of motor neurons in the region of the spinal cord that contains the cell bodies of the motor neurons supplying the hindlimb crural flexor muscles. In SOD1 G93A mice, motor neuron numbers declined over time. This was associated with motor endplate denervation at the end-stage of disease. Conclusion: The number of motor neurons in the spinal cord of wild-type mice is proportional to the number of motor units estimated by Bayesian MUNE. In SOD1 G93A mice, there is a lower number of estimated motor units compared to the number of spinal cord motor neurons at the end-stage of disease, and this is associated with disruption of the neuromuscular junction. Significance: Our finding that the Bayesian MUNE method gives estimates of motor unit numbers that are proportional to the numbers of motor neurons in the spinal cord supports the clinical use of Bayesian MUNE in monitoring motor unit loss in ALS patients. © 2012 International Federation of Clinical Neurophysiology.

The Profits of Charity : International Perspectives on the Law Governing the Involvement of Charities in Commerce

"The Profits of Charity examines the contemporary law governing the involvement of charity in commerce and explores the reasons why this involvement is dramatically changing. From a perspective familiar to charity lawyers, NGO managers, and scholars, Kerry O'Halloran identifies the concepts and the law underpinning charities and their profits by tracing legal developments in the field and identifying the resulting opportunities and challenges for the future. At a time when many leading nations are confronting economic recession, the threat of terrorism, and the retreat of the 'welfare state,' this book explores why governments are turning to charities in their quest to cultivate social capital, consolidate civil society, and promote civic engagement." -- publisher website