CAJ | 학술논문

根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施.
근거용호필수적연건중가능은장적결함혹자파배행위재정개연건중소점비례겁저、이당전일반적악의대마분석기술불괄합차류연건적가신도량분석저충정황,제출료이상화적주체행위정태가신적강약속조건,연후결합연건업무류정적학정성、연건대마적가견성이급신식자산풍험가평고성,제출료괄합공정응용적주체행위정태가신적약약속조건,병기우주체행위정태가신적약약속조건구건료모형적실현광가,대용호필수적연건시부장여실지안조용호수구운행진행가신도량,제전학정연건중시부함유대신식계통혹신식자산적잠재위협,이편채취필요적방호조시.