Author:
Pavlich-Mariscal Jaime A.,Franky María Consuelo,Lopez Ariel
Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. K. Alghathbar, D. Wijesekera, AuthUML: a three-phased framework to analyze access control specifications in use cases, in: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering, 2003.
2. λ_saop: a security AOP calculus;Alhadidi;The Computer Journal,2009
3. Support for bidirectional Model-to-Text transformations;Anjorin;Electronic Communications of the EASST,2011
4. Model driven security: from UML models to access control infrastructures;Basin;ACM Transactions on Software Engineering and Methodology,2006
5. D. Bell, L. LaPadula, Secure computer systems: Mathematical foundations model, Technical report, Mitre Corporation, 1975.