Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Entire DC Network
Models Of Leader Elections And Their Applications, Stephen Curtis Jackson
Models Of Leader Elections And Their Applications, Stephen Curtis Jackson
Doctoral Dissertations
"New research about cyber-physical systems is rapidly changing the way we think about critical infrastructures such as the power grid. Changing requirements for the generation, storage, and availability of power are all driving the development of the smart-grid. Many smart-grid projects disperse power generation across a wide area and control devices with a distributed system. However, in a distributed system, the state of processes is hard to determine due to isolation of memory. By using information flow security models, we reason about a process's beliefs of the system state in a distributed system. Information flow analysis aided in the creation …