TY  - RPRT
TI  - The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware
AU  - Alexander Barabanov
AU  - Maxim Grishin
AU  - Alexey Markov
PY  - 2013
UR  - https://arxiv.org/abs/1306.1955
ID  - 1306.1955
ER  -