most citedSoftware Testing Models Against Information Security Requirements

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.CRShow all

2 papers · 1 filter

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.