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

Ali Nasrat Haidar, Ali E. Abdallah

Browse the full ISoLA paper archive.