2043 search results - page 275 / 409 » Reasoning About Security Models |
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
100
click to vote
CAD
2000
Springer
15 years 18 days 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...
105
Voted
JCS
2011
14 years 7 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
213
click to vote
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
109
click to vote
ENVSOFT
2007
15 years 22 days ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...