Partial Order Reduction for Branching Security Protocols

W.J. Fokkink, M. Torabi Dashti, A. Wijs

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic

Original language	English
Title of host publication	7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings
Editors	R. Focardi
Publisher	IFIP
Pages	178-193
Publication status	Published - 2007

FokkinkTorabiDashtiWijs2007

Persistent URL (handle)

@inproceedings{e54b6081c8304f8896d509dd9985b61c,

title = "Partial Order Reduction for Branching Security Protocols",

author = "W.J. Fokkink and {Torabi Dashti}, M. and A. Wijs",

note = "FokkinkTorabiDashtiWijs2007",

year = "2007",

language = "English",

pages = "178--193",

editor = "R. Focardi",

booktitle = "7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings",

publisher = "IFIP",

}

Partial Order Reduction for Branching Security Protocols. / Fokkink, W.J.; Torabi Dashti, M.; Wijs, A.
7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings. ed. / R. Focardi. IFIP, 2007. p. 178-193.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Partial Order Reduction for Branching Security Protocols

AU - Fokkink, W.J.

AU - Torabi Dashti, M.

AU - Wijs, A.

N1 - FokkinkTorabiDashtiWijs2007

PY - 2007

Y1 - 2007

M3 - Conference contribution

SP - 178

EP - 193

BT - 7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings

A2 - Focardi, R.

PB - IFIP

ER -