126 search results - page 8 / 26 » Using UMLsec and goal trees for secure systems development |
160
click to vote
IEEEARES
2007
IEEE
2007
IEEE
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
16 years 2 days ago
In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...
129
click to vote
SERP
2003
15 years 7 months ago
2003
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
160
click to vote
STORAGESS
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces Hydra, a platform that we are developing for highly survivable and secure data storage systems that distribute information over networks and adapt timely to ...
161
click to vote
PST
2008
15 years 7 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
147
click to vote
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...