5843 search results - page 180 / 1169 » Software Security in Practice |
181
Voted
OOPSLA
2009
Springer
16 years 1 months 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ï¬...
187
Voted
KBSE
2007
IEEE
16 years 1 months 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...
159
Voted
STORAGESS
2006
ACM
16 years 29 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...
221
Voted
ACSAC
2007
IEEE
16 years 1 months 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...
186
click to vote
CCS
2007
ACM
16 years 1 months 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, ...