Teaching of Security in Cyber-Physical Systems
Teaching of Security in Cyber-Physical Systems
Teaching of Security in Cyber-Physical Systems
File Size:
402.93 kB
Ravi Akella, Bruce McMillin
Date:
01 July 2008
Downloads:
2667 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.
Powered by Phoca Download
Copyright © 2024 CISSE™. All rights reserved.