Automated analysis of security-design models

Authors:

Publisher website

1 May 2009

journal article
Published by Elsevier in Information and Software Technology

Vol. 51 (5) , 815-831
DOI:10.1016/j.infsof.2008.05.011

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Model driven security
ACM Transactions on Software Engineering and Methodology, 2006
Model driven security for process-oriented systems
2003
Proposed NIST standard for role-based access control
ACM Transactions on Information and System Security, 2001