• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Information Security >Automated analysis of timed security: a case study on web privacy
【24h】

Automated analysis of timed security: a case study on web privacy

机译：定时安全性的自动分析：网络隐私案例研究

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper presents a case study on an automated analysis of real-time security models. The case study on a web system (originally proposed by Felten and Schneider) is presented that shows a timing attack on the privacy of browser users. Three different approaches are followed: LH-Timed Automata (analyzed using the model checker HyTech), finite-state automata (analyzed using the model checker NuSMV), and process algebras (analyzed using the model checker CWB-NC ). A comparative analysis of these three approaches is given.
机译：本文介绍了对实时安全模型进行自动分析的案例研究。提出了一个Web系统的案例研究（最初由Felten和Schneider提出），该案例显示了对浏览器用户隐私的定时攻击。遵循三种不同的方法：LH定时自动机（使用模型检查器HyTech分析），有限状态自动机（使用模型检查器NuSMV分析）和处理代数（使用模型检查器CWB-NC分析）。对这三种方法进行了比较分析。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号