Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols

Henrik Pilegaard, Michael Pilegaard Hansen, Robin Sharp, J. Vain et al. (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University
Publication date	2002
Pages	84-86
Publication status	Published - 2002
Event	14th Nordic Workshop on Programming Theory - Tallinn, Estonia Duration: 20 Nov 2002 → 22 Nov 2002 Conference number: 14

Conference	14th Nordic Workshop on Programming Theory
Number	14
Country/Territory	Estonia
City	Tallinn
Period	20/11/2002 → 22/11/2002

OpenUrl availability

@inproceedings{9601abff5cc8411eb3ebcd10b40507de,

title = "Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols",

author = "Henrik Pilegaard and Hansen, \{Michael Pilegaard\} and Robin Sharp and \{Vain et al.\}, J.",

year = "2002",

language = "English",

pages = "84--86",

booktitle = "The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University",

note = "14th Nordic Workshop on Programming Theory, NWPT'02 ; Conference date: 20-11-2002 Through 22-11-2002",

}

Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols. / Pilegaard, Henrik; Hansen, Michael Pilegaard; Sharp, Robin et al.
The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University. 2002. p. 84-86.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols

AU - Pilegaard, Henrik

AU - Hansen, Michael Pilegaard

AU - Sharp, Robin

A2 - Vain et al., J.

N1 - Conference code: 14

PY - 2002

Y1 - 2002

M3 - Article in proceedings

SP - 84

EP - 86

BT - The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University

T2 - 14th Nordic Workshop on Programming Theory

Y2 - 20 November 2002 through 22 November 2002

ER -