Multi-attacker protocol validation.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Arsac, W.
dc.contributor.author Bella, Giampaolo
dc.contributor.author Chantry, X.
dc.contributor.author Compagna, L.
dc.date.accessioned 2010-08-04T10:54:14Z
dc.date.available 2010-08-04T10:54:14Z
dc.date.issued 2010
dc.identifier.citation Arsac, W. et al. (2010) Multi-attacker protocol validation. Journal of Automated Reasoning, 46 (3-4), pp. 353-388. en
dc.identifier.issn 0168-7433
dc.identifier.uri http://hdl.handle.net/2086/3964
dc.language.iso en en
dc.publisher Springer en
dc.title Multi-attacker protocol validation. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1007/s10817-010-9185-y
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en
dc.ref2014.selected 1367395509_1010680226037_11_1


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record