Add to ORKGPartial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security propertie
Formal verification is a collective name of techniques that aim to prove that a system design or imp...
Software model checking is the algorithmic analysis of programs to prove properties of their executi...
AbstractWe propose a methodology for the formal analysis of security protocols. This originates from...
In this paper we show how the partial model checking approach for the analysis of secure systems may...
In this paper we show how the partial model checking approach for the analysis of secure systems may...
A framework for the modeling and synthesis of security automata based on process algebra
We propose a methodology for the formal analysis of security protocols. This originates from the obs...
Several information flow security definitions, proposed in the literature, are generalized and adapt...
AbstractThis paper presents a framework for a logical characterization of fault tolerance and its fo...
Recently there has been much interest towards using formal methods in the analysis of security proto...
This paper presents a framework for a logical characterisation of fault tolerance and its formal ana...
We describe how to verify security properties of C code for cryptographic protocols by using a gener...
We present tool-support for checking UML models and C code against security requirements. A framewor...
Abstract. We define a set of process algebra operators (controllers) that mimic the security automat...
The standard approach to the specification of a secure system is to present a (usually state-hased) ...
Formal verification is a collective name of techniques that aim to prove that a system design or imp...
Software model checking is the algorithmic analysis of programs to prove properties of their executi...
AbstractWe propose a methodology for the formal analysis of security protocols. This originates from...
In this paper we show how the partial model checking approach for the analysis of secure systems may...
In this paper we show how the partial model checking approach for the analysis of secure systems may...
A framework for the modeling and synthesis of security automata based on process algebra
We propose a methodology for the formal analysis of security protocols. This originates from the obs...
Several information flow security definitions, proposed in the literature, are generalized and adapt...
AbstractThis paper presents a framework for a logical characterization of fault tolerance and its fo...
Recently there has been much interest towards using formal methods in the analysis of security proto...
This paper presents a framework for a logical characterisation of fault tolerance and its formal ana...
We describe how to verify security properties of C code for cryptographic protocols by using a gener...
We present tool-support for checking UML models and C code against security requirements. A framewor...
Abstract. We define a set of process algebra operators (controllers) that mimic the security automat...
The standard approach to the specification of a secure system is to present a (usually state-hased) ...
Formal verification is a collective name of techniques that aim to prove that a system design or imp...
Software model checking is the algorithmic analysis of programs to prove properties of their executi...
AbstractWe propose a methodology for the formal analysis of security protocols. This originates from...