2386 search results - page 263 / 478 » Database Security 2000 |
132
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
123
Voted
PDSE
2000
15 years 4 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
120
click to vote
CAD
2000
Springer
15 years 3 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...
125
click to vote
KDD
2006
ACM
16 years 3 months ago
2006
ACM
An organization makes a new release as new information become available, releases a tailored view for each data request, releases sensitive information and identifying information...
129
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
Reluctance of data owners to share their possibly confidential or proprietary data with others who own related databases is a serious impediment to conducting a mutually beneficia...