Security Functional Testing Using an Interface-Driven Model-Based Test Automation Approach

Published

September 1, 2002

Author(s)

Ramaswamy Chandramouli, Mark Blackburn

Abstract

Independent security functional testing on a product occupies a backseat in traditional security evaluation because of the cost and stringent coverage requirements. In this paper we present the details of an approach we have developed to automate security functional testing. The underlying framework is called TAF (Test Automation Framework) and the toolkit we have developed based on TAF we call it as TAF-SFT toolkit. The TAF-SFT toolkit uses the text-based specification fo security functions provided by the product vendor and the requirements of the underlying security model to develop a machine-readable specification of security functions using the SCR (Software Cost Reduction) formal language. The resultant behavioral specification model is then processed through the TAF-SFT Toolkit to generate test vectors. The behavioral model and the test vectors are then combined with product interface specifications to automatically generate test drivers (test execution code). We illustrate the application of TAF-SFT toolkit for security functional testing and the scenarios under which you minimize the impact of disadvantages.

Citation

Computer Security Applications Conference

Pub Type

Journals

Download Paper

Local Download

Keywords

APIs, formal models, security testing, test drivers, test vector

Citation

Chandramouli, R. and Blackburn, M. (2002), Security Functional Testing Using an Interface-Driven Model-Based Test Automation Approach, Computer Security Applications Conference, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151258 (Accessed April 23, 2024)