Improving the Cybersecurity of Cyber-Physical Systems Through Behavioral Game Theory and Model Checking in Practice and in Education

This dissertation presents automated methods based on behavioral game theory and model checking to improve the cybersecurity of cyber-physical systems (CPSs) and advocates teaching certain foundational principles of these methods to cybersecurity students. First, it encodes behavioral game theory\u27s concept of level-k reasoning into an integer linear program that models a newly defined security Colonel Blotto game. This approach is designed to achieve an efficient allocation of scarce protection resources by anticipating attack allocations. A human subjects experiment based on a CPS infrastructure demonstrates its effectiveness. Next, it rigorously defines the term adversarial thinking, one of cybersecurity educations most important and elusive learning objectives, but for which no proper definition exists. It spells out what it means to think like a hacker by examining the characteristic thought processes of hackers through the lens of Sternberg\u27s triarchic theory of intelligence. Next, a classroom experiment demonstrates that teaching basic game theory concepts to cybersecurity students significantly improves their strategic reasoning abilities. Finally, this dissertation applies the SPIN model checker to an electric power protection system and demonstrates a straightforward and effective technique for rigorously characterizing the degree of fault tolerance of complex CPSs, a key step in improving their defensive posture

High speed hydrogen/graphite interaction

Various aspects of a research program on high speed hydrogen/graphite interaction are presented. Major areas discussed are: (1) theoretical predictions of hydrogen/graphite erosion rates; (2) high temperature, nonequilibrium hydrogen flow in a nozzle; and (3) molecular beam studies of hydrogen/graphite erosion

Initial blood urea nitrogen concentration predicts subsequent blood urea nitrogen concentration in beef cows

This study was performed to determine whether beef cows have an inherent ability to maintain their relative blood urea nitrogen (BUN) concentration when cattle are exposed to varying levels of dietary nitrogen supplementation. Ten Hereford and 11 Nguni cows, aged between 2 and 16 years, were utilised in two crossover designs. In the first design, cows were exposed to diets containing normal and high crude protein (CP) levels. At the end of the first crossover design, cows received a normal diet for one week before commencement of the second design. In the second crossover design, cows were fed diets containing normal and low CP levels. Blood urea nitrogen concentration was measured 17-21 times (mean = 20) during the study. A linear mixed-effects model was used to assess whether baseline BUN concentration (measured one week before onset of the study) was predictive of subsequent BUN concentration in individual cows. The model was also used to assess whether any of the measured variables were predictive of subsequent BUN concentrations. Baseline BUN concentration was a significant predictor of subsequent BUN concentration in individual cows (P = 0.004). Other variables that were significantly associated with subsequent BUN concentration were breed (P = 0.033), the diet that the cows received before the current treatment (P < 0.001), treatment (P < 0.001) and the week during which sampling was performed (P < 0.001). Beef cattle appear to have an inherent ability to maintain their relative BUN concentration within herds despite changes in levels of dietary nitrogen supplementation.Poster presented at the University of Pretoria, Faculty of Veterinary Science Faculty Day, August 25, 2016, Pretoria, South Africa.ab201

A Structure for Quasars

This paper proposes a simple, empirically derived, unifying structure for the inner regions of quasars. This structure is constructed to explain the broad absorption line (BAL) regions, the narrow `associated' ultraviolet and X-ray warm absorbers (NALs); and is also found to explain the broad emission line regions (BELR), and several scattering features, including a substantial fraction of the broad X-ray Iron-K emission line, and the bi-conical extended narrow emission line region (ENLR) structures seen on large kiloparsec scales in Seyfert images. Small extensions of the model to allow luminosity dependent changes in the structure may explain the UV and X-ray Baldwin effects and the greater prevalence of obscuration in low luminosity AGN.Comment: 35 pages, including 8 color figures (figures 4abc are big). Astrophysical Journal, in press. Expanded version of conference paper astro-ph/000516

Static chaos and scaling behaviour in the spin-glass phase

We discuss the problem of static chaos in spin glasses. In the case of magnetic field perturbations, we propose a scaling theory for the spin-glass phase. Using the mean-field approach we argue that some pure states are suppressed by the magnetic field and their free energy cost is determined by the finite-temperature fixed point exponents. In this framework, numerical results suggest that mean-field chaos exponents are probably exact in finite dimensions. If we use the droplet approach, numerical results suggest that the zero-temperature fixed point exponent $\theta$ is very close to $\frac{d-3}{2}$. In both approaches $d=3$ is the lower critical dimension in agreement with recent numerical simulations.Comment: 28 pages + 6 figures, LateX, figures uuencoded at the end of fil

Uptake and transport of novel amphiphilic polyelectrolyte-insulin nanocomplexes by caco-2 cells - towards oral insulin

“The original publication is available at www.springerlink.com”. Copyright SpringerPurpose: The influence of polymer architecture on cellular uptake and transport across Caco-2 cells of novel amphiphilic polyelectrolyte-insulin nanocomplexes was investigated. Method: Polyallylamine (PAA) (15 kDa) was grafted with palmitoyl chains (Pa) and subsequently modified with quaternary ammonium moieties (QPa). These two amphiphilic polyelectrolytes (APs) were tagged with rhodamine and their uptake by Caco-2 cells or their polyelectrolyte complexes (PECs) with fluorescein isothiocyanate-insulin (FITC-insulin) uptake were investigated using fluorescence microscopy. The integrity of the monolayer was determined by measurement of transepithelial electrical resistance (TEER). Insulin transport through Caco-2 monolayers was determined during TEER experiments. Result: Pa and insulin were co-localised in the cell membranes while QPa complexes were found within the cytoplasm. QPa complex uptake was not affected by calcium, cytochalasin D or nocodazole. Uptake was reduced by co-incubation with sodium azide, an active transport inhibitor. Both polymers opened tight junctions reversibly where the TEER values fell by up to 35 % within 30 minutes incubation with Caco-2 cells. Insulin transport through monolayers increased when QPa was used (0.27 ngmL-1 of insulin in basal compartment) compared to Pa (0.14 ngmL-1 of insulin in basal compartment) after 2 hours. Conclusion: These APs have been shown to be taken up by Caco-2 cells and reversibly open tight cell junctions. Further work is required to optimise these formulations with a view to maximising their potential to facilitate oral delivery of insulin.Peer reviewe

Measuring the humoral immune response in cats exposed to feline leukaemia virus

Retroviruses belong to an important and diverse family of RNA viruses capable of causing neoplastic disease in their hosts. Feline leukaemia virus (FeLV) is a gammaretrovirus that infects domestic and wild cats, causing immunodeficiency, cytopenia and neoplasia in progressively infected cats. The outcome of FeLV infection is influenced by the host immune response; progressively infected cats demonstrate weaker immune responses compared to regressively infected cats. In this study, humoral immune responses were examined in 180 samples collected from 123 domestic cats that had been naturally exposed to FeLV, using a novel ELISA to measure antibodies recognizing the FeLV surface unit (SU) glycoprotein in plasma samples. A correlation was demonstrated between the strength of the humoral immune response to the SU protein and the outcome of exposure. Cats with regressive infection demonstrated higher antibody responses to the SU protein compared to cats belonging to other outcome groups, and samples from cats with regressive infection contained virus neutralising antibodies. These results demonstrate that an ELISA that assesses the humoral response to FeLV SU complements the use of viral diagnostic tests to define the outcome of exposure to FeLV. Together these tests could allow the rapid identification of regressively infected cats that are unlikely to develop FeLV-related disease

The severe presentation and poor outcomes of rheumatic heart disease in Namibia: Lessons from the REMEDY study

Background. This paper reports the baseline characteristics and outcomes of 266 Namibian patients in the Global Registry of Rheumatic Heart Disease. Objective. To describe clinical findings and outcomes in a cohort of children and adults with rheumatic heart disease in Namibia. Methods. Prospective study of all patients with rheumatic heart disease at Windhoek Central Hospital between January 2010 and November 2012. Results. A total of 266 patients were enrolled; median age was 22 years, 72.6% were <30 years old and 60.5% female. The majority (62.8%) had moderate-severe disease; 48.9% were in congestive cardiac failure. Secondary antibiotic prophylaxis was used by 34.2%. Warfarin was used by 75.3% (n=64/85) with clinical indications. Forty-seven (17.6%) had previous valve interventions, of whom 40 (15.0%) had mechanical valve replacements. Over a 2-year follow-up period 19.1% of patients died. Severe valve involvement at enrolment was independently associated with mortality (24.6% v. 5.1% in those without severe disease; hazard ratio 4.9; 95% confidence interval 1.50 - 15.98). Sixty-five (29.8%) of the 218 without previous intervention had valvular intervention after enrolment. Conclusions. In Namibia rheumatic heart disease affects young people who present with severe disease and have a high case fatality rate. Rates of secondary prevention were low. These findings have informed the National Programme for Prevention and Control of Rheumatic Heart Disease in Namibia