1690 search results - page 255 / 338 » A Security Framework for JXTA-Overlay |
194
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
159
click to vote
ACSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
We apply adjacency matrix clustering to network attack graphs for attack correlation, prediction, and hypothesizing. We self-multiply the clustered adjacency matrices to show atta...
218
click to vote
DSN
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where loca...
152
click to vote
SP
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
154
click to vote
CRYPTO
2005
Springer
15 years 12 months ago
2005
Springer
In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private i...