1490 search results - page 163 / 298 » The Logic of Authentication Protocols |
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
174
click to vote
TIFS
2011
14 years 11 months ago
2011
— “Pairing” is the establishment of authenticated key agreement between two devices over a wireless channel. Such devices are ad hoc in nature as they lack any common preshar...
151
click to vote
MONET
2007
15 years 3 months ago
2007
— This paper proposes a service discovery protocol for sensor networks that is specifically tailored for use in humancentered pervasive environments. It uses the high-level conc...
128
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent work on Differential Power Analysis shows that even mathematically-secure cryptographic protocols may be vulnerable at the physical implementation level. By measuring energ...
127
Voted
FMSD
2006
15 years 4 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...