1059 search results - page 149 / 212 » Modeling Security Protocols as Games |
ACSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
TCC
2010
Springer
14 years 5 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...
JUCS
2008
13 years 10 months ago
2008
Unknown Key-Share (UKS) resilience is a basic security attribute in authenticated key agreement protocols, whereby two entities A and B should not be able to be coerced into shari...
MSWIM
2005
ACM
14 years 3 months ago
2005
ACM
In this paper, we consider the security of geographical forwarding (GF) – a class of algorithms widely used in ad hoc and sensor networks. In GF, neighbors exchange their locati...