3420 search results - page 526 / 684 » A Language-Based Approach to Security |
180
click to vote
ACMSE
2004
ACM
16 years 10 days 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...
172
click to vote
ATAL
2004
Springer
16 years 9 days 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 ...
148
click to vote
ATAL
2004
Springer
16 years 9 days 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...
176
click to vote
CSL
2004
Springer
16 years 9 days 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...
167
click to vote
GG
2004
Springer
16 years 8 days 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 ...