24 search results - page 4 / 5 » An Empirical Investigation of the Adversarial Activity Model |
PET
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we address issues related to flow correlation attacks and the corresponding countermeasures in mix networks. Mixes have been used in many anonymous communication s...
CCS
2009
ACM
13 years 12 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
This paper analyzes the scalability of the population size required in XCS to maintain niches that are infrequently activated. Facetwise models have been developed to predict the ...
JSS
2002
13 years 4 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
We introduce the Multiagent Agreement Problem (MAP) to represent a class of multiagent scheduling problems. MAP is based on the Distributed Constraint Reasoning (DCR) paradigm and...