ASIAN
2007
Springer
14 years 5 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
14 years 5 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
14 years 5 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
14 years 5 months ago
2007
Springer
ASIAN
2007
Springer
14 years 5 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
14 years 5 months ago
2007
Springer
ASIAN
2007
Springer
14 years 5 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...
ASIAN
2007
Springer
14 years 5 months ago
2007
Springer
This paper focuses on the problem of preventing the illegal copying of digital content whilst allowing content mobility within a single user domain. This paper proposes a novel sol...
ASIAN
2007
Springer
14 years 5 months ago
2007
Springer
APPROX
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We consider the problem of approximating the average distance between pairs of points in a high-dimensional Euclidean space, and more generally in any metric space. We co...