首页>
外国专利>
Method for model checking on the design of security checking software of safety-critical distributed storage system
Method for model checking on the design of security checking software of safety-critical distributed storage system
展开▼
机译:安全关键分布式存储系统安全检查软件设计的模型检查方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A checking device, and method, for security checking for a safety-critical distributed storage system consisting of multiple server clusters comprising checked servers comprises sending customised shell checking scripts to the checked servers, the checked servers having a corresponding checking computer software configuration item which is used to check function items via the shell checking scripts and save the results as a checking result file. The checking result file is accessed by the checking device and is compared to a table file stored in a checking database. A static checking report is generated based upon the results of the comparison, and used to generate a final static report by synthesizing all static checking reports from checked servers. Also provided is a method using software engineering to design of security checking software for the above device. The method includes building a formal model of the process of security checking and verifying whether checking software designed according to the model meets pre-set safety conditions. The model of the checking process can be via State Transition Graph (STG) with Transition System to model normal state transition sequences of the STG and Non-deterministic Finite Automation (NFA) to model abnormal state transition sequences of the STG.
展开▼