1679 search results - page 203 / 336 » Security Properties and CSP |
162
click to vote
TC
1998
15 years 6 months ago
1998
—The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communication, and group-based distributed a...
143
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...
171
click to vote
JLP
2010
15 years 1 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
185
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
183
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...