820 search results - page 68 / 164 » Protocols for Asymmetric Communication Channels |
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
INTERACT
2003
14 years 11 months ago
2003
As a number of networked digital devices are ubiquitously used, control of inter-device communications becomes a complicated task. People can no longer keep track of all the device...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—The ability of setting up a covert channel, which allows any two nodes with Internet connections to engage in secretive communication, clearly causes a very serious security con...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
WIMOB
2008
IEEE
15 years 4 months ago
2008
IEEE
With Dynamic Home Agent Address Discovery (DHAAD), as specified in Mobile IPv6, a Mobile Node can discover the address of a suitable Home Agent on the home link. However, DHAAD suf...