3751 search results - page 225 / 751 » Events in security protocols |
149
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
196
Voted
ICC
2007
IEEE
16 years 4 days ago
2007
IEEE
—Vehicular communication networking is a promising approach of facilitating road safety, traffic management, and infotainment dissemination for drivers and passengers. However, i...
128
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
147
click to vote
CN
2000
15 years 5 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
155
click to vote
CSFW
2007
IEEE
16 years 5 days ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...