576 search results - page 88 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
EUROCRYPT
2003
Springer
14 years 2 months ago
2003
Springer
A new public-key model for resettable zero-knowledge (rZK) protocols, which is an extension and generalization of the upper-bounded public-key (UPK) model introduced by Micali and ...
DBSEC
2004
13 years 10 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
EJWCN
2010
13 years 3 months ago
2010
To achieve off-line delegation for mobile readers, we propose a delegation protocol for mobile RFID allowing its readers access to specific tags through back-end server. That is t...
DBSEC
2008
13 years 10 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
TCC
2005
Springer
14 years 2 months ago
2005
Springer
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...