Teaching of Security in Cyber-Physical Systems

Author:
Ravi Akella, Bruce McMillin
File Size:
402.93 kB
Date:
01 July 2008
Downloads:
2564 x

This paper describes the results of applying formal security models to Cyber-Physical systems work in a classroom setting. The structure of the course required that each student select an infrastructure that had significant cyber and physical components. During the course, when they learned a model, they applied it to their infrastructure. Formal models included the HRU, Take-Grant, Bell-LaPadula, Biba, Non-interference, Non-inference, and Non-deducibility. The approach is described, results of the models, and student feedback are reported.

Teaching of Security in Cyber-Physical Systems