IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...