A formal security requirements model for a grid-based operating system

摘要: In this paper, we discuss the use of formal requirements engineering techniques in capturing security for a Grid-based operating system. Our approach is based on KAOS methodology which system goals can be refined to sets that satisfied by agents performing specific operations objects. We focus example one goal interest systems, namely authorisation access data, and show how into requirements. Then develop model anti-goals, captures vulnerabilities undermine main goal.