209 search results - page 4 / 42 » Towards a Systematic Development of Secure Systems |
CSCW
1994
ACM
14 years 20 days ago
1994
ACM
In this paper, we look at how people working in a governmental labor inspection agency tailor their shared PC environment. Starting with standard off-the-shelf software, the tailo...
ECBS
2003
IEEE
14 years 1 months ago
2003
IEEE
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...
JUCS
2010
13 years 3 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
ACSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
ECOOPW
1999
Springer
14 years 26 days ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...