8644 search results - page 209 / 1729 » On the Composition of Secure Systems |
231
click to vote
VIZSEC
2004
Springer
16 years 6 hour ago
2004
Springer
The number of attacks against large computer systems is currently growing at a rapid pace. Despite the best efforts of security analysts, large organizations are having trouble k...
160
click to vote
INFSOF
2007
15 years 6 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
165
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
192
click to vote
CSREASAM
2010
15 years 4 months ago
2010
- Information breaches on ITC systems may result in lawsuits. Information security countermeasures such as firewalls, data encryption, and so on, are essential; protecting systems ...
187
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we describe a new class of tools for protecting computer systems from security attacks. Their distinguished feature is the principle they are based on. Host or netwo...