2209 search results - page 209 / 442 » Language Based Secure Communication |
106
click to vote
ICSNC
2006
IEEE
15 years 10 months ago
2006
IEEE
The wireless markup language (WML), used in WAP, is based on XML and therefore is quite verbose. Mobile devices do not typically have the processing power or memory to process such...
133
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
101
click to vote
ICCCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—We investigate a quasi-trusted QKD relaying model. This is a three-party communication model. Two nodes Alice and Bob want to establish a secret key. However, the distance betwe...
147
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—In wireless sensor networks, sensor nodes are expected to gather specific information about the environment and send it to the user. The data dissemination usually involves many...
121
click to vote
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
In order to meet performance goals, it is widely agreed that vehicular ad hoc networks (VANETs) must rely heavily on node-to-node communication, thus allowing for malicious data t...