Using Outcomes-based Assessment as an Assurance Tool for Assurance Education
ABSTRACT
We discuss our efforts to deliver a graduate-level assurance curriculum with a strong emphasis on logic and formal methods. Specifically, we describe what we are teaching in two of our foundational courses, as well as what our students are learning. We also advocate the use of an outcomes-based approach when developing IA courses and curricula. We have found that focusing on the desired educational outcomes from the outset has made it easier to identify what is working and what is not, and we wish to share our experiences.
AUTHORS
Professor, Department of Electrical Engineering and Computer Science, Syracuse University, NY
USA
Susan Older is an Associate Professor in the Department of Electrical Engineering and Computer Science at Syracuse University, as well as the Education Director for the Systems Assurance Institute. Her research interests include the semantics of programming languages, concurrency theory, logics of programs, formal methods, and their collective use to support reasoning about complex system behavior.
Professor, Department of Electrical Engineering and Computer Science, Syracuse University, NY
USA
Shiu-Kai Chin is a Professor in the Department of Electrical Engineering and Computer Science at Syracuse University and the Program Director of Computer Engineering. He is Director of the New York State Center of Advanced Technology in Computer Applications and Software Engineering (CASE). His research applies mathematical logic to the engineering of highly assured systems. He has worked closely with the Information Warfare Branch at the Information Directorate of the Air Force Research Lab in Rome, NY.
Published In
Keywords
Journal of Information Warfare
The definitive publication for the best and latest research and analysis on information warfare, information operations, and cyber crime. Available in traditional hard copy or online.
Quick Links
Archive
