Sciweavers

4511 search results - page 412 / 903
» Observation Based System Security
Sort
View
HYBRID
2005
Springer
16 years 12 days ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
PIMRC
2008
IEEE
16 years 1 months ago
On backhaul-constrained multi-cell cooperative detection based on superposition coding
Abstract— A continuously increasing demand for higher spectral efficiencies in mobile communications will require next generation cellular systems to employ a very dense reuse o...
Patrick Marsch, Gerhard Fettweis
ACSAC
2009
IEEE
16 years 1 months ago
Symmetric Cryptography in Javascript
—We take a systematic approach to developing a symmetric cryptography library in Javascript. We study various strategies for optimizing the code for the Javascript interpreter, a...
Emily Stark, Michael Hamburg, Dan Boneh
ACSAC
2007
IEEE
16 years 1 months ago
Countering False Accusations and Collusion in the Detection of In-Band Wormholes
Cooperative intrusion detection techniques for MANETs utilize ordinary computing hosts as network intrusion sensors. If compromised, these hosts may inject bogus data into the int...
Daniel Sterne, Geoffrey Lawler, Richard Gopaul, Br...
ACSAC
2005
IEEE
16 years 15 days ago
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
Jingmin Zhou, Adam J. Carlson, Matt Bishop