2270 search results - page 72 / 454 » Modelling Secure IT Systems - A Survey |
VOSS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
EOR
2007
13 years 8 months ago
2007
Recent results have used game theory to explore the nature of optimal investments in the security of simple series and parallel systems. However, it is clearly important in practi...
SEKE
1992
Springer
14 years 25 days ago
1992
Springer
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...