期刊文献+

访问控制在网络病毒防御中的作用

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 本文着重讨论访问控制技术应用于计算机网络病毒防御的基本原理和指导思想,认为通过加强强制访问控制,可以有效地防御病毒在网络上传播和破坏。
出处 《计算机应用研究》 CSCD 1996年第2期77-78,共2页 Application Research of Computers
关键词 访问控制 计算机病毒 网络病毒 防御 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部