2213 search results - page 237 / 443 » Software Security |
138
Voted
FORTE
2004
15 years 5 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
136
Voted
FAC
2008
15 years 4 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
127
click to vote
UIALL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the results of an exploratory study investigating the feasibility of using multimedia software to teach life skills to adults with learning difficulties. As a ...
232
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Rootkits have become a growing concern in cyber-security. Typically, they exploit kernel vulnerabilities to gain root privileges of a system and conceal malware’s activities fro...
144
click to vote
HOTOS
1997
IEEE
15 years 8 months ago
1997
IEEE
Diversity is an important source of robustness in biological systems. Computers, by contrast, are notable for their lack of diversity. Although homogeneous systems have many advan...