5843 search results - page 180 / 1169 » Software Security in Practice |
147
click to vote
OOPSLA
2009
Springer
16 years 27 days ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
164
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
146
click to vote
STORAGESS
2006
ACM
16 years 9 days ago
2006
ACM
This paper has three goals. (1) We try to debunk several held misconceptions about secure deletion: that encryption is an ideal solution for everybody, that existing data-overwrit...
190
click to vote
ACSAC
2007
IEEE
16 years 21 days ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
167
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...