232 search results - page 12 / 47 » Verifying persistent security properties |
JCS
2011
13 years 3 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
FSEN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
ACSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
EWSA
2004
Springer
14 years 2 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...