3003 search results - page 246 / 601 » Software Security: Building Security In |
143
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
152
Voted
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
192
click to vote
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Click based graphical passwords that use background images suffer from hot-spot problem. Previous graphical password schemes based on recognition of images do not have a sufficient...
178
click to vote
OOPSLA
2009
Springer
16 years 10 days ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
126
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...