374 search results - page 21 / 75 » On Communicating Automata with Bounded Channels |
147
click to vote
CANS
2009
Springer
16 years 20 days ago
2009
Springer
When users wish to establish wireless communication between their devices, the channel needs to be bootstrapped first. Usually, the channel is desired to be authenticated and con...
157
click to vote
FOSSACS
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
239
Voted
HYBRID
2011
Springer
14 years 5 months ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
177
click to vote
JNCA
2011
15 years 1 months ago
2011
Distance bounding is often proposed as a countermeasure to relay attacks and distance fraud in RFID proximity identification systems. Although several distance-bounding protocols...
190
Voted
ISITA
2010
15 years 4 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...