Vol-3487⫷ Vol-3488 ⫸Vol-3489
urn:nbn:de:0074-3488-0


Vol-3488/paper13⫷Vol-3488/paper14⫸Vol-3488/paper15
Andrew CookLuca Viganò 0001

Formal Analysis of Security Protocols with Movement