您的位置: 专家智库 > >

刘政

作品数:5 被引量:4H指数:1
供职机构:中国科学技术大学更多>>
发文基金:中国科学院院长基金国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域:电子电信文化科学自动化与计算机技术更多>>

文献类型

  • 2篇期刊文章
  • 2篇专利
  • 1篇学位论文

领域

  • 4篇电子电信
  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 3篇形式化
  • 3篇形式化描述
  • 2篇形式化描述语...
  • 2篇太赫兹
  • 2篇描述语言
  • 2篇赫兹
  • 2篇安全协议
  • 1篇代数规范
  • 1篇形式化描述模...
  • 1篇一致性
  • 1篇太赫兹波
  • 1篇自旋
  • 1篇像素
  • 1篇协议形式化
  • 1篇协议一致性测...
  • 1篇密码
  • 1篇密码协议
  • 1篇近场
  • 1篇可调
  • 1篇激光

机构

  • 5篇中国科学技术...

作者

  • 5篇刘政
  • 2篇程浩
  • 2篇屈玉贵
  • 2篇赵保华
  • 2篇陆亚林
  • 2篇黄秋萍
  • 1篇傅正平
  • 1篇黄浩亮
  • 1篇王建林

传媒

  • 1篇通信学报
  • 1篇小型微型计算...

年份

  • 2篇2023
  • 2篇2004
  • 1篇2003
5 条 记 录,以下是 1-5
排序方式:
基于构造类别代数的协议形式化描述语言的研究
该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该...
刘政
关键词:形式化描述模型形式化描述语言协议一致性测试安全协议验证代数规范
文献传递
一种基于可调太赫兹阵列源的太赫兹近场鬼成像系统
本申请公开了一种基于可调太赫兹阵列源的太赫兹近场鬼成像系统,通过飞秒激光器,第一聚光镜,设置于所述飞秒激光器之后,用于将所述飞秒激光器产生的红外光转换成平行光;可调太赫兹阵列源,设置于所述第一聚光镜之后;成像目标,设置于...
陆亚林黄秋萍程浩汪扬凯刘政
一种描述安全协议的形式化规范语言被引量:4
2004年
安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-
刘政赵保华屈玉贵
关键词:安全协议形式化描述语言
一种太赫兹波发射器及其制作方法
本申请公开了一种太赫兹波发射器及其制作方法,所述制作方法包括:提供一衬底,具有相对的第一表面和第二表面;在所述第一表面形成功能层;在所述功能层背离所述衬底的一侧形成铁磁金属层;其中,所述功能层用于提高所述太赫兹波发射器的...
陆亚林黄秋萍汪扬凯程浩王建林傅正平黄浩亮刘政
使用构造类别代数描述和验证密码协议被引量:1
2004年
密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用,说明了这是一种解决密码协议描述和验证的行之有效的方法。
刘政赵保华屈玉贵
关键词:密码协议形式化描述
共1页<1>
聚类工具0