您的位置： 专家智库 > >

福建省教育厅科技项目(JA10079)

作品数：1 被引量：1H指数：1
相关作者：陈兰香更多>>
相关机构：福建师范大学更多>>
发文基金：福建省教育厅科技项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇会话
  • 1篇安全WEB

机构

  • 1篇福建师范大学

作者

  • 1篇陈兰香

传媒

  • 1篇计算机工程

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于会话的安全Web文件服务模型被引量：1
2011年
数据中心内的文件服务存在未授权访问等安全威胁。针对该问题,提出一种基于会话的安全Web文件服务模型,通过分离文件资源数据及其原数据,实现计算资源与存储资源的独立计算,并建立相应的安全模型和安全协议。利用BAN逻辑对协议进行安全性分析,结果证明其可以抵御多种常见攻击。基于Apache的性能测试结果表明,该模型具有较高的安全性及实用性。
陈兰香
关键词：形式化方法
全选 清除 导出
共1页<1>
聚类工具0