@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",
}