The author has disabled downloads on this document.
Are you interested in downloading Building Secure Systems? You can easily send the publisher a message on Scribd.
This white paper describes analytical techniques using model-based engineering (MBE) tools to model and validate security according to flow-based approaches and to represent standard security protocols such as Bell-LaPadula, Chinese wall, role-based access control, and Biba model.
14 Pages
Date Added |
01/19/2009 |
Category |
|
Tags |
|
Groups |
|
Copyright |
|
More info » |
|