@inbook{9feb061edf9e4a4e9d0fe6501123363d,
title = "Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion",
keywords = "Authentication, Authorization, Security Requirements, Weaving Security into Functional Models, Z Promotion, Z specification",
author = "Haidar, \{Ali Nasrat\} and Abdallah, \{Ali E.\}",
year = "2009",
language = "English",
isbn = "9783540884781",
series = "Communications in Computer and Information Science",
pages = "831--846",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Communications in Computer and Information Science",
}