您的位置： 专家智库 > >

高晓春

作品数：3 被引量：2H指数：1
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇专利

领域

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

主题

  • 2篇形式化
  • 1篇电子发票
  • 1篇电子形式
  • 1篇形式化分析
  • 1篇形式化描述
  • 1篇形式化验证
  • 1篇移动计算
  • 1篇税务
  • 1篇税务部门
  • 1篇通信
  • 1篇通信顺序进程
  • 1篇通信网
  • 1篇通信网络
  • 1篇终端
  • 1篇终端设备
  • 1篇完整性
  • 1篇网络
  • 1篇网络终端
  • 1篇网络终端设备
  • 1篇密码

机构

  • 3篇南京大学
  • 1篇河海大学

作者

  • 3篇黄皓
  • 3篇高晓春
  • 2篇许峰
  • 2篇崔隽

传媒

  • 1篇计算机学报
  • 1篇计算机科学

年份

  • 1篇2010
  • 1篇2008
  • 1篇2007
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种基于通信网络的电子发票的生成和交互使用方法
本发明是一种基于通信网络的电子发票的生成和交互使用方法。网上电子发票是一种适合在网上传输的电子形式的发票，其内容与纸质发票相似，其产生过程需利用对称和非对称的密码技术，从而保证发票的防伪性、机密性、不可抵赖性。电子发票通...
黄皓许峰崔隽高晓春
文献传递
扩展不干扰模型(ENISM)及基于CSP的描述和验证方法被引量：1
2010年
在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全状态的基础;(2)给出判定系统中不存在违反策略的执行轨迹和数据流动的条件ENISM-CC;(3)基于通信顺序进程给出ENISM-CC的语义及操作系统模块设计的形式化描述和验证方法.
崔隽黄皓高晓春
关键词：通信顺序进程形式化描述形式化验证完整性
基于Strand Space的移动计算安全协议设计与正确性证明被引量：1
2008年
安全协议对移动计算的安全性质起着决定作用。根据移动计算网络环境的特点,参照安全协议设计准则,以移动银行应用为背景设计了一个移动计算安全协议——MB协议,并基于Strand空间理论给出了正确性证明。
许峰高晓春黄皓
关键词：串空间安全协议形式化分析密码体制移动计算
全选 清除 导出
共1页<1>
聚类工具0