2001 search results - page 239 / 401 » A security architecture for data privacy and security |
154
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
164
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
In current extensible monolithic operating systems, loadable kernel modules (LKM) have unrestricted access to all portions of kernel memory and I/O space. As a result, kernel-modu...
163
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...
1500
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
159
click to vote
BIOSURVEILLANCE
2008
Springer
15 years 8 months ago
2008
Springer
Salmonella is among the most common food borne illnesses which may result from consumption of contaminated products. In this paper we model the co-occurrence data between USDA-cont...