1490 search results - page 163 / 298 » The Logic of Authentication Protocols |
99
Voted
ENTCS
2006
15 years 19 days 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 ...
138
Voted
TIFS
2011
14 years 7 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...
115
click to vote
MONET
2007
15 years 4 days 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...
95
Voted
DATE
2005
IEEE
15 years 6 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...
104
Voted
FMSD
2006
15 years 19 days 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...