Research on fuzzy security testing of document format based on formal method
by Shuang Ren; Honghui Li; Fangnan Yang; Ying Xing
International Journal of Internet Manufacturing and Services (IJIMS), Vol. 5, No. 4, 2018

Abstract: In this paper, the formal method is applied to the fuzzy testing of document format to meet the requirement of corresponding security testing. The general format Uniform Office Format (UOF) of Chinese office software is taken as an example. This paper studies the description of the structure, characteristics and interdependence of the document format by Z language, and proposes a method used for formal document format feature extraction and fuzzy testing case generation. Further, this paper presents a design scheme of FileFTester, a document format security testing tool, which can not only automatically generate test cases, but also adapt to various office document format security testing. The tool is universal and scalable.

Online publication date: Tue, 02-Oct-2018

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Internet Manufacturing and Services (IJIMS):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com