1878 search results - page 340 / 376 » Efficient Performance Models in Component-Based Software Eng... |
FSTTCS
2003
Springer
15 years 2 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
In RFID protocols, tags identify and authenticate themselves to readers. At Asiacrypt 2007, Vaudenay studied security and privacy models for these protocols. We extend this model ...
TCOM
2010
14 years 4 months ago
2010
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
100
click to vote
TCOM
2010
14 years 4 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Understanding the relation between usability measures seems crucial to deepen our conception of usability and to select the right measures for usability studies. We present a meta...