6907 search results - page 290 / 1382 » Securing distributed adaptation |
159
Voted
PLDI
2006
ACM
15 years 10 months 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...
164
click to vote
SAC
2000
ACM
15 years 9 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
147
Voted
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent work, we proposed D-Trigger, a framework for tracking a global condition over a large network that allows us to detect anomalies while only collecting a very limited amo...
124
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...
142
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...