556 search results - page 43 / 112 » An Abstract Reduction Model for Computer Security Risk |
135
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
119
Voted
ASIACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider scenarios in which two parties, each in possession of a graph, wish to compute some algorithm on their joint graph in a privacy-preserving manner, that is, wi...
137
Voted
CORR
2006
Springer
15 years 3 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...
138
click to vote
SDM
2008
SIAM
15 years 4 months ago
2008
SIAM
Cross validation allows models to be tested using the full training set by means of repeated resampling; thus, maximizing the total number of points used for testing and potential...
101
Voted
ACG
2003
Springer
15 years 8 months ago
2003
Springer
Abstract Opponent-Model search is a game-tree search method that explicitly uses knowledge of the opponent. There is some risk involved in using Opponent-Model search. Both the pre...