Sciweavers

3130 search results - page 234 / 626
» Collusion without communication
Sort
View
ICICS
2004
Springer
16 years 2 days ago
Automatic Covert Channel Analysis of a Multilevel Secure Component
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
ICOIN
2004
Springer
16 years 2 days ago
An Enhanced Handoff Mechanism for Cellular IP
Handoff is one of the most important factors that may degrade the performance of TCP connections in wireless data networks. In this paper, we present a lossless and duplication fr...
Kyung-ah Kim, Jong-Deok Kim, Chong-kwon Kim, Jae-y...
IFIP
2004
Springer
16 years 2 days ago
Decidability of Opacity with Non-Atomic Keys
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
Laurent Mazaré
ICRA
2003
IEEE
120views Robotics» more  ICRA 2003»
15 years 12 months ago
Instrument deployment for Mars Rovers
Future Mars rovers, such as the planned 2009 MSL rover, require sufficient autonomy to robustly approach rock targets and place an instrument in contact with them. It took the 199...
Liam Pedersen, Maria Bualat, Clayton Kunz, Susan Y...
WMCSA
2003
IEEE
15 years 12 months ago
Selecting Devices for Aggregation
As intelligent devices become affordable and wireless infrastructure becomes pervasive, the potential to combine, or aggregate, device functionality to provide a user with a bette...
Rajnish Kumar, Vahe Poladian, Ira Greenberg, Alan ...