5843 search results - page 473 / 1169 » Software Security in Practice |
163
click to vote
EUROSYS
2007
ACM
16 years 3 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...
173
click to vote
ARCS
2006
Springer
15 years 10 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...
218
click to vote
COMPSAC
2009
IEEE
15 years 4 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...
164
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
189
click to vote
SENSYS
2004
ACM
16 years 8 days ago
2004
ACM
We introduce TinySec, the first fully-implemented link layer security architecture for wireless sensor networks. In our design, we leverage recent lessons learned from design vul...