Open AccessFormal Methods and Tools for Evaluating Cryptographic Systems Security
Author(s) -
Alexandra Savelieva,
Sergey Avdoshin
Publication year - 2008
Publication title -
proceedings of the spring/summer young researchers' colloquium on software engineering
Language(s) - English
Resource type - Conference proceedings
ISSN - 2311-7230
DOI - 10.15514/syrcose-2008-2-6
Subject(s) - computer science , cryptography , cryptographic protocol , cryptographic primitive , computer security