488 search results - page 18 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
The situation in engineering security for Web services that access databases is as follows: On the one hand, specifications like WSSecurity are concerned with the security managem...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
RE
2002
Springer
13 years 9 months ago
2002
Springer
Planning for the optimal attainment of requirements is an important early lifecycle activity. However, such planning is difficult when dealing with competing requirements, limited...