199
click to vote
ASIAN
16 years 1 days ago
2007 Springer 
Extensive use of computer networks and online electronic data and high demand for security has called for reliable intrusion detection systems. A repertoire of different classifier...
163
Voted
ASIAN
16 years 1 days ago
2007 Springer 
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
147
click to vote
ASIAN
15 years 9 months ago
2007 Springer 
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
146
click to vote
ASIAN
16 years 1 days ago
2007 Springer 
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
149
click to vote
ASIAN
16 years 1 days ago
2007 Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
|
Algorithms