low-level programming rules 低级程序设计规则
Low-level programming support rules 基于低层次程序设计的规则 ; 低层次程序设计的规则
The basic idea of the model framework is to model program to a pushdown automaton (PDA), to represents security attributes to a finite-state automaton (FSA). Safety attribute refers to wrong operation sequence that violates safe programming rules.
该模型的基本思想是,将程序建模成为一个下推自动机(PDA),将安全属性建模为一个有穷状态自动机(FSA),安全属性是指违背安全编程规则的错误操作序列。
参考来源 - 软件漏洞模型检验技术的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐