Manageable access control for CORBA
Journal of Computer Security - Special issue on ESORICS 2000
Formal access control analysis in the software development process
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
SecTOOL: supporting requirements engineering for access control
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
An access control language for dynamic systems – model-driven development and verification
SDL'05 Proceedings of the 12th international conference on Model Driven
Hi-index | 0.00 |