ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
ASIAN
2007
Springer
13 years 10 months 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...
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
ASIAN
2007
Springer
13 years 10 months 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...
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
ASIAN
2007
Springer
13 years 10 months 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...
ASIAN
2007
Springer
13 years 10 months ago
2007
Springer
ASIAN
2007
Springer
13 years 10 months 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...