Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Missouri University of Science and Technology
Computer networks -- Security measures -- Mathematical models<br />Wireless sensor networks -- Security measures -- Mathematical models<br />Sensor networks -- Security measures -- Mathematical models<br />Sensor networks -- Security measures -- Design<br />Data protection -- Security measures -- Mathematical models<br />Smart power grids -- Mathematical models
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
Verification Of Information Flow Security In Cyber-Physical Systems, Rav Akella
Verification Of Information Flow Security In Cyber-Physical Systems, Rav Akella
Doctoral Dissertations
"With a growing number of real-world applications that are dependent on computation, securing the information space has become a challenge. The security of information in such applications is often jeopardized by software and hardware failures, intervention of human subjects such as attackers, incorrect design specification and implementation, other social and natural causes. Since these applications are very diverse, often cutting across disciplines a generic approach to detect and mitigate these issues is missing. This dissertation addresses the fundamental problem of verifying information security in a class of real world applications of computation, the Cyber-physical systems (CPSs). One of the motivations …