We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of ...

We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of ...

Nov 5, 2004 · Our technique allows a protocol designer to provide a formal specification of the desired security properties, and integrate it naturally into ...

We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of ...

Abstract. We propose a new simple trace logic that can be used to spec- ify local security properties, i.e. security properties that refer to a single.

This approach demonstrates that it is possible to establish a framework for formally representing a program implementation and for formalizing the security ...

A trace logic for local security properties ; Pages, 129-143 ; Publication status, Published - 2005 ; Name, Electronic Notes in Theoretical Computer Science.

TL;DR: In this paper, the authors propose a trace logic that can be used to specify local security properties, i.e. security properties that refer to a single ...

We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of ...

We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of ...