Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Information flow security"”.
-
Verification of information flow security in cyber-physical systems
… 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, …
-
Quantitative information-flow tracking for real systems
An information-flow security policy constrains a computer system's end-to-end use of information, even as it is transformed in computation. For instance, a policy would not just restrict what secret data could be revealed directly, but restrict any output that might allow inferences about the …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… important timed hyperproperties such as information flow security policies, service level agreements, etc. Specifically, a new formal security specification language for robotic motion planning, HyperTWTL, will be introduced for TWTL (HyperTWTL) by extending the classical time window …
-
Distributed state verification in the smart grid using physical attestation
… To that end, this work introduces a distributed security mechanism called physical attestation that detects state fabrications in the future smart grid. Graph theory is used to prove that physical attestation works in general smart grid topologies, and the theory is supported with experimental …