Using Interval Logics for Temporal Analysis of Security Protocols

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

Standard

Using Interval Logics for Temporal Analysis of Security Protocols. / Hansen, Michael Reichhardt; Sharp, Robin; Backes et a., Michael (Editor).

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

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

Harvard

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.

APA

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.

CBE

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.

MLA

Hansen, Michael Reichhardt, Robin Sharp and Michael Backes et a., editors. "Using Interval Logics for Temporal Analysis of Security Protocols". First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press. 2003. 24-31.

Vancouver

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.

Author

Hansen, Michael Reichhardt; Sharp, Robin; Backes et a., Michael (Editor) / Using Interval Logics for Temporal Analysis of Security Protocols.

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

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

Bibtex

@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)",

}

RIS

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 -