×

zbMATH — the first resource for mathematics

A development of finite state machine create tool for cryptography module validation. (English) Zbl 1200.68097
Ślęzak, D. (ed.) et al., Security technology. International conference, SecTech 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10846-4/pbk; 978-3-642-10847-1/ebook). Communications in Computer and Information Science 58, 185-192 (2010).
Summary: The CMVP is system for objective evaluation of cryptographic modules, evaluation activities using by security function requirements in CMVP. Finite State Model (FSM) is model which use cryptographic module to testing activity. It should be testing and modeling, but modeling method not exist in CMVP guidance. So, the FSM modeling depends on only developer’s experience. Thus, in this paper, we describe FSM modeling and validation method, and we develop to FSM create tool.
For the entire collection see [Zbl 1183.68021].
MSC:
68P25 Data encryption (aspects in computer science)
Software:
CVMP
PDF BibTeX XML Cite
Full Text: DOI