Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Physical Sciences and Mathematics
Enhancing Cybersecurity Of Power Systems Using Machine Learning, Fayha Almutairy
Enhancing Cybersecurity Of Power Systems Using Machine Learning, Fayha Almutairy
Graduate College Dissertations and Theses
The continuous and accelerated digitalization of industries and technologies has made most of our daily activities obtrusively depend on electricity. Consequently, reliable power system operation became the cornerstone of economic sustainability and technological development. Unfortunately, the grown dependency of modern power infrastructure on Information and Communication Technology (ICT) has increased the risks of cyber-attacks. According to the most recent statistics, the electrical power sector is one of the significant fields in the number of cyber-attacks per year. The most devious types of cyber-attacks target the power system state estimation. Realtime state estimation aims to filter out the noise of measurements …
Language-Based Analysis Of Differential Privacy, Chukwunweike Abuah
Language-Based Analysis Of Differential Privacy, Chukwunweike Abuah
Graduate College Dissertations and Theses
Differential privacy (Dwork, 2006; Dwork et al., 2006a) has achieved prominence over the past decade as a rigorous formal foundation upon which diverse tools and mechanisms for performing private data analysis can be built. The guarantee of differential privacy is that it protects privacy at the individual level: if the result of a differentially private query or operation on a dataset is publicly released, any individual present in that dataset can claim plausible deniability. This means that any participating individual can deny the presence of their information in the dataset based on the query result, because differentially private queries introduce …
A Formal Approach To Combining Prospective And Retrospective Security, Sepehr Amir-Mohammadian
A Formal Approach To Combining Prospective And Retrospective Security, Sepehr Amir-Mohammadian
Graduate College Dissertations and Theses
The major goal of this dissertation is to enhance software security by provably correct enforcement of in-depth policies. In-depth security policies allude to heterogeneous specification of security strategies that are required to be followed before and after sensitive operations. Prospective security is the enforcement of security, or detection of security violations before the execution of sensitive operations, e.g., in authorization, authentication and information flow. Retrospective security refers to security checks after the execution of sensitive operations, which is accomplished through accountability and deterrence. Retrospective security frameworks are built upon auditing in order to provide sufficient evidence to hold users accountable …