3047 search results - page 136 / 610 » A Secure Distributed Search System |
113
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
161
click to vote
CL
2002
Springer
15 years 3 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
126
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
139
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
An analysis of steganographic systems subject to the following perfect undetectability condition is presented in this paper. Following embedding of the message into the covertext,...
120
click to vote
DIM
2009
ACM
15 years 9 months ago
2009
ACM
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...