• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Canadian Journal of Pure and Applied Sciences >RSPS: MODELING AND VERIFICATION OF A REAL-TIME SECURITY PROTECTION SERVICE USING MODEL CHECKING
【24h】

RSPS: MODELING AND VERIFICATION OF A REAL-TIME SECURITY PROTECTION SERVICE USING MODEL CHECKING

机译：RSPS：使用模型检查对实时安全保护服务进行建模和验证

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper a real-time security protection model for scanning the security files is presented. In this model, a workflowmechanism is presented for real-time scanning Dynamic Link Library files. A specification relation between theproposed model and the Kripke structure is presented that enables the verification of the system specifications. Bypresenting the appropriate formal semantics, we discuss that how labeling functions permits navigating information andspecifications of the security system. We illustrated expected properties of the system which can be verified andspecified by using temporal logic. So, we defined satisfaction relations for verifying the system specifications. We alsodescribed how some of expected properties of the system are verified. Finally, we implemented some properties ofproposed model in NuSMV model checker. The verification results show that our proposed real-time security protectionmodel is reachable, deadlock free and fair
机译：本文提出了一种用于扫描安全文件的实时安全保护模型。在此模型中，提出了用于实时扫描动态链接库文件的工作流机制。提出了建议模型与Kripke结构之间的规格关系，从而可以验证系统规格。通过呈现适当的形式语义，我们讨论了标签功能如何允许导航安全系统的信息和规范。我们说明了可以通过使用时间逻辑进行验证和指定的系统预期特性。因此，我们定义了满意度关系以验证系统规格。我们还描述了如何验证系统的某些预期属性。最后，我们在NuSMV模型检查器中实现了建议模型的一些属性。验证结果表明，我们提出的实时安全保护模型是可行的，无死锁且公平的

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号