刘政
- 作品数:6 被引量:4H指数:1
- 供职机构:中国科学技术大学更多>>
- 发文基金:中国科学院院长基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域:电子电信文化科学自动化与计算机技术更多>>
- 基于构造类别代数的协议形式化描述语言的研究
- 该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该...
- 刘政
- 关键词:形式化描述模型形式化描述语言协议一致性测试安全协议验证代数规范
- 文献传递
- 一种基于可调太赫兹阵列源的太赫兹近场鬼成像系统
- 本申请公开了一种基于可调太赫兹阵列源的太赫兹近场鬼成像系统,通过飞秒激光器,第一聚光镜,设置于所述飞秒激光器之后,用于将所述飞秒激光器产生的红外光转换成平行光;可调太赫兹阵列源,设置于所述第一聚光镜之后;成像目标,设置于...
- 陆亚林黄秋萍程浩汪扬凯刘政
- 一种描述安全协议的形式化规范语言被引量:4
- 2004年
- 安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-
- 刘政赵保华屈玉贵
- 关键词:安全协议形式化描述语言
- 一种太赫兹波发射器及其制作方法
- 本申请公开了一种太赫兹波发射器及其制作方法,所述制作方法包括:提供一衬底,具有相对的第一表面和第二表面;在所述第一表面形成功能层;在所述功能层背离所述衬底的一侧形成铁磁金属层;其中,所述功能层用于提高所述太赫兹波发射器的...
- 陆亚林黄秋萍汪扬凯程浩王建林傅正平黄浩亮刘政
- 一种超宽带超表面聚光器
- 本申请公开了一种超宽带超表面聚光器,包括衬底和位于衬底一侧依次层叠的反射层、第一超表面层、多层膜分色镜层、二氧化硅透射层以及第二超表面层;当入射光从第二超表面层一侧垂直入射时,多层膜分色镜层对第一波段范围的光高透射,并对...
- 陆亚林黄秋萍贾翔宇汪扬凯程浩刘政王承岳
- 使用构造类别代数描述和验证密码协议被引量:1
- 2004年
- 密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用,说明了这是一种解决密码协议描述和验证的行之有效的方法。
- 刘政赵保华屈玉贵
- 关键词:密码协议形式化描述