CORR
2006
Springer
13 years 5 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Reputation and recommendation systems are fundamental for the formation of community market places. Yet, they are easy targets for attacks which disturb a market's equilibriu...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
We show that the number of k-matching in a given undirected graph G is equal to the number of perfect matching of the corresponding graph Gk on an even number of vertices divided ...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...