您的位置： 专家智库 > >

李升

作品数：2 被引量：1H指数：1
供职机构：佳木斯大学现代教育技术中心更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇扇区
  • 1篇逻辑扇区
  • 1篇可视化
  • 1篇可视化建模
  • 1篇根目录
  • 1篇安全协议
  • 1篇NTFS
  • 1篇NTFS文件
  • 1篇NTFS文件...
  • 1篇SPIN
  • 1篇簇号

机构

  • 2篇佳木斯大学

作者

  • 2篇付杰
  • 2篇李升
  • 1篇息明东
  • 1篇张玉民
  • 1篇闫振林

传媒

  • 2篇佳木斯大学学...

年份

  • 1篇2013
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
安全协议可视化建模和验证方法的分析与设计
2013年
统一建模语言(UML)是用于软件分析与设计的可视化建模语言,由于其缺乏精确的语义描述,因而进一步分析和验证比较困难.而形式化分析方法具有精确的数学语义和自动化验证工具的支持,可以对软件规范进行严格的分析和验证.本文提出了一种将安全协议的可视化模型转换成PROMELA规范的方法,使用SPIN工具对安全协议UML可视化模型进行了分析验证.
付杰闫振林张玉民息明东李升
关键词：安全协议形式化分析SPIN
NTFS文件系统的根目录INDX文件结构被引量：1
2009年
NTFS是一种优秀文件系统,通过对其根目录索引文件INDX的结构研究,给出NTFS文件系统的根目录索引文件INDX结构的主要字段的详细说明及MFT的定位.
付杰李升
关键词：NTFS簇号根目录
全选 清除 导出
共1页<1>
聚类工具0