A Formal Approach To Firewalls Testing Techniques
Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.
cs.CR↗
arXiv subjects
Alexey Markov
Publications and source records attributed to Alexey Markov.
The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware
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.CR↗
Software Testing Models Against Information Security Requirements
An overview and classification of software testing models are done. Recommendations on the choice of models are proposed
cs.SE↗