1681 search results - page 2 / 337 » A Framework for Analysis of Data Freshness |
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
SIGMOD
2000
ACM
13 years 10 months ago
2000
ACM
In this paper we study how to refresh a local copy of an autonomous data source to maintain the copy up-to-date. As the size of the data grows, it becomes more difficult to mainta...
DBKDA
2009
IEEE
13 years 9 months ago
2009
IEEE
Metadata harvesting requires timely propagation of up-to-date information from thousands of Repositories over a wide area network. It is desirable to keep the data as fresh as poss...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
WECWIS
2002
IEEE
13 years 10 months ago
2002
IEEE
The demand for real-time data services has been increasing recently. Many e-commerce applications and webbased information services are becoming very sophisticated in their data n...