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