A NOVEL METHODOLOGY TO DESIGN SECURITY PROTOCOLS BASED ON A NEW SET OF DESIGN PRINCIPLES

This paper presents a novel design methodology based on a new set of design principles to develop step-by-step security protocols for up to three participants, guiding the designer on each step. It accompanies the designer through a succession of six abstraction levels proposed in this work: protocol objectives, protocol constraints, security mechanisms, message flow, protocol conformation and authentication tests. The methodology proposed is based on a new set of design principles extracted from different sources and combined using the systemic approach, which considers the designer and client’s security and functional needs. The resulting model separates highlevel tasks from implementation details, allowing the designer to specify the security requirements and functionality desired for each abstraction level. Consequently, the protocol design is linked with the best-fitting design principle. To corroborate the results of the methodology, the resulting protocol in the Alice and Bob notation in the fifth level is tested using the “Strand Spaces” Model. The Needham-Schroeder protocol with symmetric keys was successfully used as a test. The security goals achieved were: authentication, confidentiality, integrity, and non-repudiation

Integration of analysis techniques in security and fault-tolerance

This thesis focuses on the study of integration of formal methodologies in security protocol analysis and fault-tolerance analysis. The research is developed in two different directions: interdisciplinary and intra-disciplinary. In the former, we look for a beneficial interaction between strategies of analysis in security protocols and fault-tolerance; in the latter, we search for connections among different approaches of analysis within the security area. In the following we summarize the main results of the research

Research priorities in Maternal, Newborn, & Child Health & Nutrition for India:An Indian Council of Medical Research-INCLEN Initiative

In India, research prioritization in Maternal, Newborn, and Child Health and Nutrition (MNCHN) themes has traditionally involved only a handful of experts mostly from major cities. The Indian Council of Medical Research (ICMR)-INCLEN collaboration undertook a nationwide exercise engaging faculty from 256 institutions to identify top research priorities in the MNCHN themes for 2016-2025. The Child Health and Nutrition Research Initiative method of priority setting was adapted. The context of the exercise was defined by a National Steering Group (NSG) and guided by four Thematic Research Subcommittees. Research ideas were pooled from 498 experts located in different parts of India, iteratively consolidated into research options, scored by 893 experts against five pre-defined criteria (answerability, relevance, equity, investment and innovation) and weighed by a larger reference group. Ranked lists of priorities were generated for each of the four themes at national and three subnational (regional) levels [Empowered Action Group & North-Eastern States, Southern and Western States, & Northern States (including West Bengal)]. Research priorities differed between regions and from overall national priorities. Delivery domain of research which included implementation research constituted about 70 per cent of the top ten research options under all four themes. The results were endorsed in the NSG meeting. There was unanimity that the research priorities should be considered by different governmental and non-governmental agencies for investment with prioritization on implementation research and issues cutting across themes

Security-centric analysis and performance investigation of IEEE 802.16 WiMAX

fi=vertaisarvioitu|en=peerReviewed

Security and Performance Verification of Distributed Authentication and Authorization Tools

Parallel distributed systems are widely used for dealing with massive data sets and high performance computing. Securing parallel distributed systems is problematic. Centralized security tools are likely to cause bottlenecks and introduce a single point of failure. In this paper, we introduce existing distributed authentication and authorization tools. We evaluate the quality of the security tools by verifying their security and performance. For security tool verification, we use process calculus and mathematical modeling languages. Casper, Communicating Sequential Process (CSP) and Failure Divergence Refinement (FDR) to test for security vulnerabilities, Petri nets and Karp Miller trees are used to find performance issues of distributed authentication and authorization methods. Kerberos, PERMIS, and Shibboleth are evaluated. Kerberos is a ticket based distributed authentication service, PERMIS is a role and attribute based distributed authorization service, and Shibboleth is an integration solution for federated single sign-on authentication. We find no critical security and performance issues

Under-Five Mortality in High Focus States in India: A District Level Geospatial Analysis

<div><h3>Background</h3><p>This paper examines if, when controlling for biophysical and geographical variables (including rainfall, productivity of agricultural lands, topography/temperature, and market access through road networks), socioeconomic and health care indicators help to explain variations in the under-five mortality rate across districts from nine high focus states in India. The literature on this subject is inconclusive because the survey data, upon which most studies of child mortality rely, rarely include variables that measure these factors. This paper introduces these variables into an analysis of 284 districts from nine high focus states in India.</p> <h3>Methodology/Principal Findings</h3><p>Information on the mortality indicator was accessed from the recently conducted Annual Health Survey of 2011 and other socioeconomic and geographic variables from Census 2011, District Level Household and Facility Survey (2007–08), Department of Economics and Statistics Divisions of the concerned states. Displaying high spatial dependence (spatial autocorrelation) in the mortality indicator (outcome variable) and its possible predictors used in the analysis, the paper uses the Spatial-Error Model in an effort to negate or reduce the spatial dependence in model parameters. The results evince that the coverage gap index (a mixed indicator of district wise coverage of reproductive and child health services), female literacy, urbanization, economic status, the number of newborn care provided in Primary Health Centers in the district transpired as significant correlates of under-five mortality in the nine high focus states in India. The study identifies three clusters with high under-five mortality rate including 30 districts, and advocates urgent attention.</p> <h3>Conclusion</h3><p>Even after controlling the possible biophysical and geographical variables, the study reveals that the health program initiatives have a major role to play in reducing under-five mortality rate in the high focus states in India.</p> </div

Research and Technology 1990

A brief but comprehensive review is given of the technical accomplishments of the NASA Lewis Research Center during the past year. Topics covered include instrumentation and controls technology; internal fluid dynamics; aerospace materials, structures, propulsion, and electronics; space flight systems; cryogenic fluids; Space Station Freedom systems engineering, photovoltaic power module, electrical systems, and operations; and engineering and computational support