Formal security analysis of the DNP3-secure authentication protocol

This thesis evaluates the security of Supervisory Control and Data Acquisition (SCADA) systems, which are one of the key foundations of many critical infrastructures. Specifically, it examines one of the standardised SCADA protocols called the Distributed Network Protocol Version 3, which attempts to provide a security mechanism to ensure that messages transmitted between devices, are adequately secured from rogue applications. To achieve this, the thesis applies formal methods from theoretical computer science to formally analyse the correctness of the protocol.

A HIGH-RESOLUTION SOLID-STATE NMR-STUDY OF THE MISCIBILITY, MORPHOLOGY, AND TOUGHENING MECHANISM OF POLYSTYRENE WITH POLY(2,6-DIMETHYL-1,4-PHENYLENE OXIDE) BLENDS

An extended Goldman-Shen pulse sequence was used to observe indirectly the proton spin diffusion in the blends of polystyrene (PS) with poly(2,6-dimethyl-1,4-phenylene oxides) (PPO). The results indicate that the average distance between PS and PPO is less than 5 angstrom in the intimately mixed phase, but there are heterogeneous domains on a 100-angstrom scale. The data of spin relaxation of carbons, T1(C), for homopolymers and their blends suggest that there is a strong pi-pi electron conjugation interaction between the aromatic rings of PS and those of PPO, while the aromatic rings of PPO drive the aromatic rings of PS to move cooperatively. It is the cooperative motion that markedly improves the impact strength of PS.

In situ solid state NMR observation of the methanol-to-hydrocarbons (MTH) process over nanosized and microsized HZSM-5 zeolites

The formation of surface alkoxy species on nanosized HZSM-5 and microsized HZSM-5, after exposure to methanol and subsequent conversion to olefins, has been investigated by in situ solid state NMR. Compared to microsized HZSM-5 zeolite, the nanosized HZSM-5 zeolite was found to exhibit a higher affinity for trapping methanol species. Activation of the adsorbed methanol species resulted in the formation of various surface alkoxy species with different rigid characters, including the carboxylate-like surface species, as evidenced by deconvolution of the related spectra. The present results support the existence of the so-called carbon-pool in the conversion of methanol, which serves as the reaction precursor not only for the coupling of the species to form olefins, but also for uncontrolled polymerization to give coke on the surface. The nanosized HZSM-5 shows a distinct resistance to the formation of carbonaceous deposits on the surface.

TIME-RESOLVED ABSORPTION, INFRARED, AND RESONANCE RAMAN-SPECTRA OF THE COMPLEXES [RU(X)(R)(CO)(2)(ALPHA-DIIMINE)] (X=HALIDE R=ALKYL) - INFLUENCE OF X ON THE CHARGE-TRANSFER CHARACTER OF THE LOWEST EXCITED-STATE

Nanosecond time-resolved absorption (TA), resonance Raman (TR(3)), and infrared (TRIR) spectra are reported for several complexes [Ru(X)(R)(CO)(2)(alpha-diimine)] (X = Cl, Br, I; R = Me, Et; alpha-diimine = N,N'-diisopropyl-1,4-diaza-1,3-butadiene (iPr-DAB), pyridine-2-carbaldehyde-N-isopropylimine (iPr-PyCa), 2,2'-bipyridine (bpy)). This is the first instance in which the TA, TR(3), and TRIR techniques have been used to probe excited states in the same series of complexes. The TA spectra of the iodide complexes show a transient absorption between 550 and 700 nm, which does not depend on the solvent but shifts to lower energy in the order iPr-DAB > bpy > iPr-PyCa. This band is assigned to an intraligand transition. For the corresponding chloride and bromide complexes this band occurs at higher energy, most probably because of a change of character of the lowest excited state from XLCT to MLCT. The TRIR spectra show an increase in v(CO) (and k(CO)) on promotion to the excited state; however, the shifts Delta v(CO) show a decrease in the order Cl- > Br- > I-. The TR(3) spectra of the excited complexes [Ru(X)(R)(Co)(2)(iPr-DAB)] show v(s)(CN) of the iPr-DAB ligand 50-80 cm(-1) lower in frequency than for the complexes in their ground state. This frequency shift decreases in the order Cl- > Br- > I-, indicating a decrease of CT character of the lowest excited state in this order. However, going from X = Br to I, the effect on Delta v(CO) is much larger than the decrease of Delta v(s)(CN). This different effect on the CO- and CN-stretching frequencies is assigned to a gradual change in character of the lowest excited state from MLCT to XLCT when Cl- is replaced by Br- and I-. This result confirms a similar conclusion derived from previous resonance Raman and emission experiments on these complexes.

Education, gender, and state-level disparities in the health of older Indians: Evidence from biomarker data

Using new biomarker data from the 2010 pilot round of the Longitudinal Aging Study in India (LASI), we investigate education, gender, and state-level disparities in health. We find that hemoglobin level, a marker for anemia, is lower for respondents with no schooling (0.7 g/dL less in the adjusted model) compared to those with some formal education and is also lower for females than for males (2.0 g/dL less in the adjusted model). In addition, we find that about one third of respondents in our sample aged 45 or older have high C-reaction protein (CRP) levels (>3 mg/L), an indicator of inflammation and a risk factor for cardiovascular disease. We find no evidence of educational or gender differences in CRP, but there are significant state-level disparities, with Kerala residents exhibiting the lowest CRP levels (a mean of 1.96 mg/L compared to 3.28 mg/L in Rajasthan, the state with the highest CRP). We use the Blinder–Oaxaca decomposition approach to explain group-level differences, and find that state-level disparities in CRP are mainly due to heterogeneity in the association of the observed characteristics of respondents with CRP, rather than differences in the distribution of endowments across the sampled state populations.

Solid-state NMR and powder XRD studies of the structure of SAPO-40 upon hydration-dehydration cycles

It is well known that after the removal of the template many porous aluminophosphates and related materials are very sensitive to water.' Depending on the type of structure, reversible or irreversible phase transitions, loss of crystallinity and changes in the coordination of some framework A1 upon rehydration are observed. For example, solid-state NMR shows that the rehydration of SAPO-5 leads to the formation of octahedral Al. Subsequent dehydration restores the initial tetrahedral coordination of Al. Template-free SAPO-37 becomes totally amorphous to X-rays after exposure to water and stays so after subsequent thermal treatment^.,,^ In contrast, Barthomeuf and co-workers have shown recently, that, on hydration, template-free SAPO-34, an analogue of chabasite, shows the opening of some Si-0-A1 bonds, the effect being reversible upon dehydrati~n.T~h e hydrated distorted structure was found to be stable for months with no further modifications and the ordered material could be regenerated by removal of water. Here we wish to report that the structure of template-free SAPO-40 undergoes a similar reversible modification.

Address of Mr. C. G. Memminger, to the people of St. Phillip's and St. Michael's, in relation to the Bank of the State : containing facts and arguments in favor of the bill, which he was prevented from presenting before the House, at the last session of the Legislature

This document contains the facts and arguments in favor of the bill, which he was prevented from presenting before the House of Representatives at the last session of the legislature.

Copy of a report of a Committee of the Honorable and Executive Council dated May 6, 1859 approved by His Excellency the Governor General in Council

Copy of a report of a Committee of the Honorable and Executive Council dated May 6, 1859 approved by His Excellency the Governor General in Council. This is in regard to charges made by Joshua Manly of Port Colborne against Mr. Woodruff, the superintendent and other persons connected with the Welland Canal. The accusations have been substantiated by the committee. This is accompanied by a petition accusing Mr. Woodruff of gross corruption and jobbery [the practice of using a public office or position of trust for one's own advantage]. This was signed by a number of petitioners on July 2, 1858 (2 pages, handwritten), 1859.

Ecosystem services and adaptation for agriculture and food security: analysis of two decades (1991–2011) of financing by the Global Environment Facility

Investing in global environmental and adaptation benefits in the context of agriculture and food security initiatives can play an important role in promoting sustainable intensification. This is a priority for the Global Environment Facility (GEF), created in 1992 with a mandate to serve as financial mechanism of several multilateral environmental agreements. To demonstrate the nature and extent of GEF financing, we conducted an assessment of the entire portfolio over a period of two decades (1991–2011) to identify projects with direct links to agriculture and food security. A cohort of 192 projects and programs were identified and used as a basis for analyzing trends in GEF financing. The projects and programs together accounted for a total GEF financing of US$1,086.8 million, and attracted an additional US$6,343.5 million from other sources. The value-added of GEF financing for ecosystem services and resilience in production systems was demonstrated through a diversity of interventions in the projects and programs that utilized US$810.6 million of the total financing. The interventions fall into the following four main categories in accordance with priorities of the GEF: sustainable land management (US$179.3 million), management of agrobiodiversity (US$113.4 million), sustainable fisheries and water resource management (US$379.8 million), and climate change adaptation (US$138.1 million). By aligning GEF priorities with global aspirations for sustainable intensification of production systems, the study shows that it is possible to help developing countries tackle food insecurity while generating global environmental benefits for a healthy and resilient planet.