58 страниц

Опубликован 07.12.2011

Information technology -- Security techniques -- Verification of cryptographic protocols