Vol-650⫷ Vol-651 ⫸Vol-652
urn:nbn:de:0074-651-0


None⫷None

Formalizing and Verifying Authenticity over Assertion Changes for An Interaction Protocol