1134 search results - page 85 / 227 » Distributed Proving in Access-Control Systems |
117
click to vote
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
164
click to vote
CODASPY
2012
13 years 11 months ago
2012
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
111
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Digital watermarking is a promising technology to embed copyright information as unperceivable signals in digital contents. Although various watermarking techniques have been empl...
120
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
When investigating the performance of running scientific/ commercial workflows in parallel and distributed systems, we often take into account only the resources allocated to the ...
116
click to vote
APPROX
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Given a directed graph G = (V, E) and an integer k 1, a ktransitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH ) that has (1) the same transitive...