Center for Systems Assurance

Research
CSA’s research program focuses on achieving system assurance by providing a fertile environment for faculty interaction. CSA will provide infrastructure support, in the form of workstations and clustered machines on high-speed networks, to support the investigation of fundamental issues in system assurance.

Faculty members associated with CSA have research programs spanning the breadth of system assurance. CSA will serve to focus these efforts and provide a forum for close collaboration. Some of the research areas being investigated by CSA faculty 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

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.


Research Partnerships
Syracuse faculty members associated with CSA have already developed research partnerships, and one of CSA’s roles will be to provide a focus point for additional collaborations both within Syracuse University and with external parties. Here is a short list of sample partnerships; it will be an ongoing activity of CSA to seek out new partnerships and strengthen existing ones.

External

  • Air Force Research Lab
  • Economic Crime Investigation Institute
  • Computer Forensics Research and Development Center
  • Center for Education and Research for Information Assurance and Security, Purdue University (planned)

Internal

  • College of Engineering and Computer Science
  • School of Information Studies
  • Center for Business and Information Technology (CBIT)
  • CASE Center


Home | Education | Technology Transfer | Current Center Faculty and Staff | Current Projects


Copyrights © 2000 Center for Systems Assurance. All rights reserved