Teaching Information

Sample Papers

· 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)

· 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

Books

· Shiu-Kai Chin and Susan Older, Access Control, Security, and Trust: A Logical Approach, CRC Press, 2008. (In preparation)

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

Top

Links to Other Sites

· Critical Thinking Community

· Carnegie Academy for the Scholarship of Teaching and Learning