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


None⫷None⫸None
Miroslaw KurkowskiOlga Siedlecka-LamchHenryk Piech

A New Effective Approach for Modelling and Verification of Security Protocols