594 search results - page 94 / 119 » Games with Secure Equilibria |
IWDW
2005
Springer
14 years 1 months ago
2005
Springer
Digital watermarking studies have always been driven by the improvement of robustness. Most of articles of this field deal with this criterion, presenting more and more impressive...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
: We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher who wishes to reach the objec...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Stability of Wardrop equilibria is analyzed for dynamical transportation networks in which the drivers’ route choices are influenced by information at multiple temporal and spat...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...