2209 search results - page 393 / 442 » Language Based Secure Communication |
121
click to vote
TSE
2008
15 years 1 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
118
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— The wireless medium contains domain-specific information that can be used to complement and enhance traditional security mechanisms. In this paper we propose ways to e...
102
click to vote
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless communication is particularly vulnerable to signal jamming attacks. Spread spectrum mitigates such problem by spreading normal narrowband signals over a much wider band...
156
click to vote
SCN
2010
Springer
14 years 12 months ago
2010
Springer
Serge Vaudenay [20] introduced a notion of Message Authentication (MA) protocols in the Short Authenticated String (SAS) model. A SAS-MA protocol authenticates arbitrarily long mes...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
As programmable mobile devices (such as high-end cellular phones and Personal Digital Assistants) became widely adopted, users ask for Internet access on-the-road. While upcoming ...