Cyber Assurance CYB 399 Conc and Distr Computing 3 cr

advertisement
UNIVERSITY OF SOUTH ALABAMA
CYBER ASSURANCE 1
Cyber Assurance
CYB 399 Conc and Distr Computing
3 cr
CYB 404 Implementing Secure System II
4 cr
This course focuses on security issues in concurrent
and distributed systems. Security features in the current
advent of cloud computing are vital. Example topics include
secure multi-threading, agent-based security, security
policy composition, secure compartmentalization and more.
Prerequisites: CSC 311 and CSC 322.
Pre-requisite: CSC 311 Minimum Grade of C and CSC 322
Minimum Grade of C
This course is heavily project focused and aimed to provide
team development of a secure hardware design using a
HDL and synthesized on a FGPA platform. Implementation
topics include, but not limited to: anti-tamper technologies,
side-channel countermeasures, and the design and
implementation of Intellectual Property Protection (IPP)
hardware features. Prerequisite: CYB 403.
Pre-requisite: CYB 403 Minimum Grade of C
CYB 400 Network and OS Vulnerabilities
CYB 405 Cyber Warfare
3 cr
This course takes a systems approach to detection and
analysis of cyber vulnerabilities as they relate to both the
network and operating system. Topics include common
historical vulnerabilities and exploitation tactics, detection
of intrusions and malware, vulnerability analysis and
common tools, and best cyber assurance practices to
reduce vulnerability footprint. Prerequisites: CSC 311 and
CSC 322.
Pre-requisite: CSC 311 Minimum Grade of C and CSC 322
Minimum Grade of C
CYB 401 Cyber System Verification I
3 cr
This course serves as the introduction for system verification
applicable to both software and hardware domains. The
course provides an introduction to formal methods, focusing
on system modeling and reasoning via system logic
proofs based on propositional and predicate logic. Other
topics include Hoare Logic and Binary Decision Diagrams.
Prerequisites: MA 126 and MA 267 or MA 367.
Pre-requisite: MA 126 Minimum Grade of C and MA 267
Minimum Grade of C
CYB 402 Cyber System Verification II
3 cr
This course provides an in-depth study of the nature of
Cyber Warfare and its impact on cyber system security
and information assurance. It provides a foundational
understanding of both strategic and tactical effects of
cyber warfare. Additional topics include legal aspects,
problems related to positive retribution, and issues relating
to cause and effect or in other terms cyber battle damage
assessment. A key focus is on the national information,
infrastructure, its potential vulnerabilities, and the impact of
vulnerability exploitation at both the strategic and tactical
levels. Prerequisite: Senior Standing.
CYB 496 Cyber Assurance Internship
0 cr
The CYB internship program is designed to give students
practical experience cyber security and information
assurance. Students are required a total of 320 internship
hours (8 week summer internship) as part of the CYB
program requirements.
3 cr
This course is the second in the systems verification for both
the software and hardware domains. The course focuses
on simulatability and the use of model checkers to verify
and test system security properties for cyber systems with
an emphasis on Linear Temporal Logic and Computational
Tree Logic. Prerequisite: CYB 401.
Pre-requisite: CYB 401 Minimum Grade of C
CYB 403 Implementing Secure Systems I
3 cr
This course serves as the introduction for secure systems
which focuses on building and evaluating secure hardware.
In this course students learn the fundamentals of Hardware
Description Languages (HDLs) (VHDL or Verilog) with
synthesis of simple cryptographic circuits onto Field
Programmable Gate Arrays (FPGAs). This relatively
new computing paradigm blurs the distinction between
the hardware/software interface making FPGAs an
attractive platform for both secure hardware and software
development. Prerequisite: CSC 320.
Pre-requisite: CSC 320 Minimum Grade of C
southalabama.edu/bulletin
2015-2016 GRADUATE/UNDERGRADUATE BULLETIN
Download