3420 search results - page 526 / 684 » A Language-Based Approach to Security |
137
Voted
ACMSE
2004
ACM
15 years 10 months ago
2004
ACM
Traditional intrusion detection systems have a central coordinator with a static hierarchical architecture. We propose a peer-to-peer intrusion detection system that has no centra...
137
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a new solution for the implementation of flexible protection mechanisms in the context of mobile agent systems, where security problems are currently a ...
119
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
To secure good deals, an agent may engage in multiple concurrent negotiations for a particular good or service. However for this to be effective, the agent needs to carefully coor...
139
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
120
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...