The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware

This addresses the need for improved testing in information security software and hardware, but appears incremental as it focuses on optimizing existing procedures.

The paper tackles the problem of developing security test procedures for information security controls, resulting in recommendations for optimizing these procedures.