Multi-attacker protocol validation.

Date

2010

Authors

Arsac, W.
Bella, Giampaolo
Chantry, X.
Compagna, L.

Advisors

Journal Title

Journal ISSN

ISSN

0168-7433

DOI

https://doi.org/10.1007/s10817-010-9185-y

Volume Title

Publisher

Springer

Type

Article

Peer reviewed

Yes

Abstract

Description

Keywords

Citation

Arsac, W. et al. (2010) Multi-attacker protocol validation. Journal of Automated Reasoning, 46 (3-4), pp. 353-388.

URI

http://hdl.handle.net/2086/3964

Rights

Research Institute

Collections

School of Computer Science and Informatics