Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.

Miriam Zia Ernesto Posse Hans Vangheluwe

Published in: ICSOFT (SE) (2007)

Keyphrases

formal model
security model
real time
relational databases
security requirements
databases
data processing
access control
intrusion detection system