Using Interval Logics for Temporal Analysis of Security Protocols

Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

In: First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, 2003. p. 24-31.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

Hansen, MR , Sharp, R & Backes et a., M (ed.) 2003, 'Using Interval Logics for Temporal Analysis of Security Protocols'. in: First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, pp. 24-31.

Hansen, M. R., Sharp, R., & Backes et a., M. (Ed.) (2003). Using Interval Logics for Temporal Analysis of Security Protocols. In: First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). (pp. 24-31). ACM Press.

Hansen MR , Sharp R, Backes et a. M, ed. 2003. Using Interval Logics for Temporal Analysis of Security Protocols. In First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press. pp. 24-31.

Hansen MR , Sharp R, Backes et a. M, editor. Using Interval Logics for Temporal Analysis of Security Protocols. In: First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press. 2003. p. 24-31.

In: First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, 2003. p. 24-31.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

@inbook{23bf41c968784694a289cec0962c692c,

title = "Using Interval Logics for Temporal Analysis of Security Protocols",

publisher = "ACM Press",

author = "Hansen, {Michael Reichhardt} and Robin Sharp and {Backes et a.}, Michael",

year = "2003",

pages = "24-31",

booktitle = "First ACM Workshop on Formal Methods in Security Engineering (FMSE'03)",

}

TY - GEN

T1 - Using Interval Logics for Temporal Analysis of Security Protocols

A1 - Hansen,Michael Reichhardt

A1 - Sharp,Robin

AU - Hansen,Michael Reichhardt

AU - Sharp,Robin

A2 - Backes et a.,Michael

ED - Backes et a.,Michael

PB - ACM Press

PY - 2003

Y1 - 2003

UR - http://www.imm.dtu.dk/pubdb/p.php?2866

BT - First ACM Workshop on Formal Methods in Security Engineering (FMSE'03)

T2 - First ACM Workshop on Formal Methods in Security Engineering (FMSE'03)

SP - 24

EP - 31

ER -