Teaching Information

Table of Contents

·        Books

·        Sample Papers

·        Courses

·        Workshops

·        Professional Activities

·        Links to Other Sites

 

home

 Books

·        Shiu-Kai Chin and Susan Older, Access Control, Security, and Trust: A Logical Approach, CRC Press, 2010.

·        new_theory `HOL`;; An Introduction to Hardware Verification in Higher Order Logic, Graham Birtwistle, Shiu-Kai Chin, Brian Graham.

 

Top 

Sample Papers

·        Susan Older and Shiu-Kai Chin, “Engineering Assurance at the Undergraduate Level,” IEEE Security and Policy, Volume 10, No. 6, November/December 2012

·        Shiu-Kai Chin, Erich Devendorf, Sarah Muccio, Susan Older, and James Royer, “Formal Verification for Mission Assurance in Cyberspace: Education, Tools, and Results,” Proceedings of the 16th Colloquium for Information Systems Security Education, Lake Buena Vista, FL, June 11-13, 2012, pp. 75—82.

·        (Note: this paper is part of the same program as we describe above but I am not a co-author). Erich Devendorf, Sarah Muccio, Fred Wieners, “Developing the Next Generation of Cyber Leaders,” Proceedings of the 16th Colloquium for Information Systems Security Education, Lake Buena Vista, FL, June 11-13, 2012, pp. 34—41.

·        Shiu-Kai Chin and Susan Older, “Educating Engineers to Design Trustworthy Systems,” Indo-US Conference and Workshop on Cyber Security, Cyber Crime, and Cyber Forensics, August 19-21, 2009, Kochi, India.

·        Shiu-Kai Chin and Susan Older, A Rigorous Approach to Teaching Access Control, Annual Conference on Education in Information Security (ACEIS) 2006, September 18-19, 2006, Ames, Iowa.

·        Susan Older and Shiu-Kai Chin, Using Outcomes-based Assessment as an Assurance Tool for Assurance Education, Journal of Information Warfare, Volume 2, Issue 3, 2003.

·        Susan Older, Shiu-Kai Chin. Building a Rigorous Foundation for Assurance into Information Assurance Education. Volume 1, Number 2 of the George Washington University Journal of Information Security.

·        Cynthia Irvine, Shiu-Kai Chin, Deborah Frincke, Integrating Security into the Curriculum, IEEE Computer, December 1998.

Top

Courses (these are older publicly available versions, current versions are on SU’s Blackboard system)

·        CSE/CIS 400: Access Control, Security, and Trust

·        Advanced Course in Engineering in Cyber Security

o   We teach access control using our draft textbook, A Logical Approach to Access Control, CRC Press. Our lectures include:

1.      Propositional modal logic & Kripke structures

2.      Syntax and Kripke semantics of the access control calculus

3.      Basic Access-Control Concepts

4.      Concept of Operations

5.      Digital Authentication

6.      Delegation

7.      Kerberos

8.      Memory Segmentation

9.      Memory Protection

10.  Virtual Machines

o   An (older) version of my ACE lecture on access control (These are very, very outdated, but give you a sense of our thinking)

·        ECS101: Introduction to Engineering and Computer Science

·        ECS/WSP200: Conflict Resolution and Diversity

·        CSE261: Digital Logic Design

·        CSE397: Computer Laboratory I

·        CSE398: Computer Laboratory II

·        CSE572: Switching and Finite Automata Theory

·        CSE607: Logical Basis of Computing

·        CSE691: Fundamentals of Computer Security (a new course I prepared, which was on hold while I was Interim Dean. I’ll teach it when I return)

·        CSE771: Sequential Machine Theory

·        CSE773: Formal Specification, Design, and Verification

·        CSE774: Principles of Network Security (now renamed Principles of Distributed Access Control taught by Prof. Susan Older)

·        CSE789: CAD - Logic

top


Workshops

·        Faculty for National Science Foundation Engineering Education Scholars Summer 2000 Workshop, July 30 - August 2, 2000, New England Conference Center, Durham, New Hampshire.

·        Faculty for National Science Foundation Engineering Education Scholars Summer 2001 Workshop, July 29 - August 1, 2001, Xerox Document University, Leesburg, VA.

·        Faculty for National Science Foundation Engineering Education Scholars Summer 2002 Workshop, July 26 - July 30, 2002, Minnowbrook Conference Center, Blue Mountain Lake, NY.

 

Top

Professional Activities

·        Member of the Symposium of Laura J. and L. Douglas Meredith Professors 

·        Former Chair, All University Student Learning Outcomes Assessment Committee

 

Top

 

Links to Other Sites

·        Critical Thinking Community

·        Carnegie Academy for the Scholarship of Teaching and Learning

 

Top

Updated: 26 January 2013