A Visual Approach to Teaching Formal Access Models in Security

Author:
Dino Schweitzer, Mike Collins, Leemon Baird
File Size:
253.66 kB
Date:
01 July 2007
Downloads:
1153 x

Formal models are important in information security education. The ability to abstract security concepts and apply formal reasoning techniques provides a basis for students to understand fundamental results and have a broader perspective on security issues. Our experience at the undergraduate level is that students often struggle with the abstract models, how to apply them, and the associated implications. To provide students a more concrete approach to working with and understanding security protection models, we have developed interactive visualization tools that allow students to create, manipulate, and experiment with the models.

A Visual Approach to Teaching Formal Access Models in Security