2272 search results - page 281 / 455 » Provable Data Privacy |
131
Voted
ESORICS
1998
Springer
15 years 6 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
108
Voted
CSFW
1996
IEEE
15 years 6 months ago
1996
IEEE
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...
165
Voted
ECRIME
2007
15 years 6 months ago
2007
There are many applications available for phishing detection. However, unlike predicting spam, there are only few studies that compare machine learning techniques in predicting ph...
110
Voted
FOSAD
2009
Springer
15 years 6 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...
114
click to vote
ACSAC
2004
IEEE
15 years 6 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...