Science of Security Lablet
The Science of Security (SoS) Lablet is housed in the Information Trust Institute at Illinois. It is contributing broadly to the development of security science while leveraging Illinois expertise in resiliency, which in this context means a system's demonstrable ability to maintain security properties even during ongoing cyber attacks.
The Lablet's work is drawing on several fundamental areas of computing research. Some ideas from fault-tolerant computing can be adapted to the context of security. Strategies from control theory will be extended to account for the high variation and uncertainty that may be present in systems when they are under attack. Game theory and decision theory principles will be used to explore the interplay between attack and defense. Formal methods will be applied to develop formal notions of resiliency. End-to-end system analysis will be employed to investigate resiliency of large systems against cyber attack. The Lablet's work will draw upon ideas from other areas of mathematics and engineering as well.
The PI is David Nicol; co-PIs are William H. Sanders and José Meseguer. See the home page of the SoS Lablet for more information.
(funded by the U.S. National Security Agency (NSA))