The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - Nov.-Dec. (2012 vol.10)
pp: 74-77
Susan Older , Syracuse University
Shiu-Kai Chin , Syracuse University
ABSTRACT
What would it take for undergraduate computer engineering and computer science programs to routinely produce graduates who can design computer systems that are assured to operate securely? To help answer that question, Syracuse University piloted the undergraduate Cyber Engineering Semester, which aimed to equip undergraduates with three key capabilities. The first was the ability to reason rigorously about security concepts of operations (ConOps). The second was the ability to employ security mechanisms as exemplified by Jerome Saltzer and Michael Schroeder's classic paper, "The Protection of Information in Computer Systems." The third was the ability to formally verify security ConOps and mechanisms using computer-assisted reasoning tools.
INDEX TERMS
Computer science education, Engineering education, Education courses, Quality assurance, Programming, Functional programming, functional programming, assurance, computer security, ConOps, access control, higher-order logic, HOL, Haskell, theorem provers
CITATION
Susan Older, Shiu-Kai Chin, "Engineering Assurance at the Undergraduate Level", IEEE Security & Privacy, vol.10, no. 6, pp. 74-77, Nov.-Dec. 2012, doi:10.1109/MSP.2012.143
REFERENCES
1. J. Saltzer and M. Schroeder, “The Protection of Information in Computer Systems,” Proc. IEEE, vol. 63, no. 9, 1975, pp. 1278–1308.
2. S.-K. Chin et al., “Formal Verification for Mission Assurance in Cyberspace: Education, Tools, and Results,” Proc. 16th Colloquium Information Systems Security Education, Colloquium for Information Systems Security Education, 2012.
3. E. Devendorf, F. Wieners, and S. Muccio, “Developing the Next Generation of Cyber Leaders,” Proc. 16th Colloquium Information Systems Security Education, Colloquium for Information Systems Security Education, 2012.
4. S.-K. Chin and S. Older, Access Control, Security, and Trust: A Logical Approach, CRC Press, 2011.
5. K. Claessen and J. Hughes, “QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs,” ACM SIGPLAN Notices, vol. 35, no. 9, 2000, pp. 268–279.
6. M.J.C. Gordon and T.F. Melham, Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic, Cambridge Univ. Press, 1993.
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool