Automated analysis of security-design models.

David A. Basin Manuel Clavel Jürgen Doser Marina Egea

Published in: Inf. Softw. Technol. (2009)

Keyphrases

automated analysis
biomedical imaging
functional requirements
automated detection
image processing
access control
computer aided
user interface
design process
information security