1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2013★ 1 cited
Software Testing Models Against Information Security Requirements
Alexey Markov
An overview and classification of software testing models are done. Recommendations on the choice of models are proposed
cs.CR2013
The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware
Alexander Barabanov, Maxim Grishin, Alexey Markov
An approach to the development of security test procedures for information security controls is presented. The recommendations for optimizing the test procedure are obtained
cs.CR2013
A Formal Approach To Firewalls Testing Techniques
Alexander Barabanov, Alexey Markov, Valentin Tsirlov
Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.