Vol-927⫷ Vol-928 ⫸Vol-929
urn:nbn:de:0074-928-0


None⫷None⫸None

A New Effective Approach for Modelling and Verification of Security Protocols