1653 search results - page 308 / 331 » Timed analysis of security protocols |
COLT
2006
Springer
15 years 1 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
APVIS
2008
14 years 11 months ago
2008
The widespread use of mobile devices brings opportunities to capture large-scale, continuous information about human behavior. Mobile data has tremendous value, leading to busines...
115
click to vote
WEWORC
2007
14 years 11 months ago
2007
The stream ciphers Py, Pypy and Py6 were designed by Biham and Seberry for the ECRYPT-eSTREAM project in 2005. The ciphers were promoted to the ‘Focus’ ciphers of the Phase II ...
AIS
2007
Springer
14 years 9 months ago
2007
Springer
This paper instigates a discourse on the unplanned effects of intelligent agents in the context of their use on the Internet. By utilizing a social informatics framework as a lens...
109
click to vote
TDSC
2008
14 years 9 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...