Multi-attacker protocol validation.

De Montfort University Open Research Archive

Show simple item record Arsac, W. Bella, Giampaolo Chantry, X. Compagna, L. 2010-08-04T10:54:14Z 2010-08-04T10:54:14Z 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.language.iso en en
dc.publisher Springer en
dc.title Multi-attacker protocol validation. en
dc.type Article en
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