This course is divided into three major components: overview, detailed concepts and implementation techniques. The topics to be covered are: general security concerns and concepts from both a technical and management point of view, principles of security, architectures, access control and multi-level security, trojan horses, covert channels, trap doors, hardware security mechanism, security models, security kernels, formal specifications and verification, networks and distribution systems and risk analysis.
Jointly offered with ENME442.
Credit only granted for: ENME442, ENRE64 J, or ENRE684.
Semesters OfferedFall 2017, Fall 2018, Fall 2019