Add to ORKGA complete and decidable security-specialised logic and its application to the TESLA protocol We examine a logic to reason about security protocols by means of temporal and epistemic concepts. We report results on completeness and decidability of the formalism as well as its expressiveness. As a case study we apply the formalism in the analysis of Tesla, a secure stream multi-cast protocol
The distributed temporal logic DTL is an expressive logic, well suited for formalizing properties of...
Security protocols are one of the imperative steps in creating and ensuring the secure communication...
AbstractIn this paper we extend the results proposed in [5] so as to provide an approach for finding...
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the...
Abstract. Security properties naturally combine temporal aspects of protocols with aspects of knowle...
This paper presents a sound BAN-like logic for reasoning about security protocols with theorem prove...
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the...
In this paper, we make the point that the problems with logics in the BAN tradition are not with the...
AbstractTemporal logics of knowledge are useful for reasoning about situations where the knowledge o...
In this thesis, we show how formal methods can be used for the cryptographically sound verification ...
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an age...
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an age...
We develop informal principals and formal rules to verify security properties in cryptographic proto...
The TESLA multicast stream authentication protocol is distinguished from other types of cryptographi...
AbstractThe distributed temporal logic DTL is an expressive logic, well suited for formalizing prope...
The distributed temporal logic DTL is an expressive logic, well suited for formalizing properties of...
Security protocols are one of the imperative steps in creating and ensuring the secure communication...
AbstractIn this paper we extend the results proposed in [5] so as to provide an approach for finding...
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the...
Abstract. Security properties naturally combine temporal aspects of protocols with aspects of knowle...
This paper presents a sound BAN-like logic for reasoning about security protocols with theorem prove...
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the...
In this paper, we make the point that the problems with logics in the BAN tradition are not with the...
AbstractTemporal logics of knowledge are useful for reasoning about situations where the knowledge o...
In this thesis, we show how formal methods can be used for the cryptographically sound verification ...
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an age...
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an age...
We develop informal principals and formal rules to verify security properties in cryptographic proto...
The TESLA multicast stream authentication protocol is distinguished from other types of cryptographi...
AbstractThe distributed temporal logic DTL is an expressive logic, well suited for formalizing prope...
The distributed temporal logic DTL is an expressive logic, well suited for formalizing properties of...
Security protocols are one of the imperative steps in creating and ensuring the secure communication...
AbstractIn this paper we extend the results proposed in [5] so as to provide an approach for finding...