2432 search results - page 280 / 487 » Cryptographic logical relations |
225
Voted
ESAS
2004
Springer
16 years 15 days ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
221
Voted
SISW
2003
IEEE
16 years 11 days ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
228
click to vote
FMCO
2003
Springer
16 years 10 days ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
190
click to vote
FSTTCS
2003
Springer
16 years 10 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
178
click to vote
ENTCS
2006
15 years 7 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...