5954 search results - page 151 / 1191 » Querying Bi-level Information |
253
Voted
CSFW
2011
IEEE
14 years 5 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
174
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
154
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In the sponsored search model, search engines are paid by businesses that are interested in displaying ads for their site alongside the search results. Businesses bid for keywords...
178
click to vote
CIKM
2009
Springer
16 years 19 days ago
2009
Springer
Well-designed indices can dramatically improve query performance. Including query workload information can produce indices that yield better overall throughput while balancing the...
172
click to vote
DMKD
2003
ACM
15 years 11 months ago
2003
ACM
An inference problem exists in a multilevel database if knowledge of some objects in the database allows information with a higher security level to be inferred. Many such inferen...