Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.

Ali Nasrat Haidar Ali E. Abdallah

Published in: ISoLA (2008)

Keyphrases

formal model
theoretical framework
management system
statistical model
prior knowledge
probabilistic model
access control
theoretical analysis
computational model
simulation model
high level
input data
parameter estimation
neural network model
dynamic access control