信息安全软硬件符合性评估的形式化元基础
密码学与安全
2013-06-11 v1
摘要
本文提出了一种开发信息安全控制安全测试程序的方法，并获得了优化测试程序的建议。
引用
@article{arxiv.1306.1955,
title = {The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware},
author = {Alexander Barabanov and Maxim Grishin and Alexey Markov},
journal= {arXiv preprint arXiv:1306.1955},
year = {2013}
}
备注
Keywords: information security, information protection, information security tools, certification, conformity assessment, security testing