您的位置： 专家智库 > >

潘娜

作品数：2 被引量：0H指数：0
供职机构：解放军理工大学通信工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇国内会议论文

领域

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

主题

  • 1篇信息流安全
  • 1篇形式化
  • 1篇网络
  • 1篇网络安全
  • 1篇逻辑
  • 1篇逻辑推理
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇安全协议
  • 1篇JAVA语言

机构

  • 2篇解放军理工大...

作者

  • 2篇潘娜
  • 1篇严庆
  • 1篇刘宇锋
  • 1篇张一丹
  • 1篇沈文鑫

传媒

  • 2篇第十七届全国...

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
安全协议形式化分析与验证研究
安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后采用对比的方式详细介绍了目前流行的几种形式化验证技术的验证过程及相应的优缺点,并介绍了一种新的验证技...
张一丹沈文鑫刘宇锋潘娜
关键词：逻辑推理计算机网络网络安全安全协议
文献传递
Java语言词法改造关键技术研究
为了开发出更加安全可靠的程序,针对Java本身安全性的不足,对其词法进行改造。利用扩展军用模型,对类指定安全级,从而能够较好地保证应用程序中信息流的安全。相对于其他改进措施,它有着实现简单,易于应用的优点,能够较好地将保...
潘娜严庆
关键词：JAVA语言信息流安全
文献传递
全选 清除 导出
共1页<1>
聚类工具0