COMPSAC
2006
IEEE
13 years 12 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
COMPSAC
2006
IEEE
13 years 12 months ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...