| Research
The SAI
strives to provide a fertile environment for interdisciplinary
faculty interaction.
Signature Projects
help promote collaboration and build the credibility of the
Institute. Four such Projects are currently in the Definition
phase. These projects are:
- “Evaluation
of Systems Assurance Maturity in Public and Private Organizations”
“Establishing
the Foundation for Research and Education Regarding Security
in Complex Systems”
“Community
Readiness Networks: Socio-Technical Elements of Inter-Organizational
Coordination”
- Assurance
of Public Venues
For
summary information about these projects, please see the following
briefing:
Overview
of SAI Signature Projects [html
- ppt
- pdf]
Additional
information about the Assurance Maturity project can be obtained
from these briefings:
Additional
information about the Security in Complex Systems project
can be found here: [pdf]
Applied and Basic
Research projects are sponsored by government and industry
customers. Faculty members associated with the SAI have sponsored
research programs spanning the breadth of overall systems
assurance from initial design through implemented systems.
These research areas include:
- Algorithms
- Concurrency
- Logic and
semantics
- High-confidence
design of hardware, software, and protocols
- Thread/computation
scheduling and management
- Dynamic computation
reconfiguration in response to assurance requirements
- Network management
and intrusion detection
- Behavioral
Information Security
These areas
combine to cover needs of assured systems from initial design
to implementation. For example, the Computational Resiliency
project includes both theoretical and applied components to
produce a system combining fault tolerance and security. This
system combines automatic computation reconfiguration with
computation scheduling to respond to various attacks. We are
incorporating higher-order logic to ensure that the design
of these mechanisms, and their run-time operations, provide
system assurance without introducing unintended vulnerabilities.
For more information
about SAI research projects: [html
- ppt - pdf] |
