A Visual Approach to Teaching Formal Access Models in Security

A Visual Approach to Teaching Formal Access Models in Security
A Visual Approach to Teaching Formal Access Models in Security
File Size:
253.66 kB
Author:
Dino Schweitzer, Mike Collins, Leemon Baird
Date:
01 July 2007
Downloads:
1195 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.

 
 
Powered by Phoca Download