Sciweavers

6689 search results - page 293 / 1338
» A Network Security Monitor
Sort
View
CSFW
2010
IEEE
15 years 10 months ago
Dynamic vs. Static Flow-Sensitive Security Analysis
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
Alejandro Russo, Andrei Sabelfeld
WIOPT
2005
IEEE
16 years 9 days ago
Securing Route Optimisation in NEMO
The Network Mobility (NEMO) Basic Support protocol enables mobile networks to change their point of attachment to the Internet, while preserving established sessions of the nodes ...
María Calderón, Carlos Jesus Bernard...
GECCO
2006
Springer
202views Optimization» more  GECCO 2006»
15 years 10 months ago
Human competitive security protocols synthesis
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
Hao Chen, John A. Clark, Jeremy Jacob
186
Voted
ISER
2004
Springer
163views Robotics» more  ISER 2004»
16 years 3 days ago
Deployment and Connectivity Repair of a Sensor Net with a Flying Robot
We consider multi-robot systems that include sensor nodes and aerial or ground robots networked together. Such networks are suitable for tasks such as large-scale environmental mon...
Peter I. Corke, Stefan Hrabar, Ronald A. Peterson,...
ACSC
2003
IEEE
16 years 1 days ago
Policies for Sharing Distributed Probabilistic Beliefs
In this paper, we present several general policies for deciding when to share probabilistic beliefs between agents for distributed monitoring. In order to evaluate these policies,...
Christopher Leckie, Kotagiri Ramamohanarao