检索结果-南通市图书馆

中国科学（E辑） 2005年第2期35卷 161-172页

作者：卿斯汉李改成中国科学院软件研究所信息安全技术工程研究中心北京中科安胜信息技术有限公司北京100080 中国科学院研究生院北京100039

基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次给出了交换项的形式化定义, 提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求. 为... 详细信息

基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次给出了交换项的形式化定义, 提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求. 为了能高效而又细致地对协议进行检测、证明和设计, 模型提出了适用于所有公平交换协议的不可滥用性的新性质, 给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则. 文中通过一个典型的公平交换协议分析实例, 阐明了使用该模型分析公平交换协议的详细步骤. 发现了一种过去从未发现过的新攻击, 给出了攻击发生时系统运行的全过程, 深刻揭示了攻击发生的各种原因. 最后, 对有缺陷的协议进行了改进, 改进后的协议满足所需要的各种性质.

关键词：公平交换协议形式化模型局部时序关系安全目标电子商务安全技术网络安全

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

多方公平交换协议的形式化分析和设计

引用

中国科学（E辑） 2006年第6期36卷 598-616页

作者：卿斯汉李改成中国科学院软件研究所

通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于... 详细信息

通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于这一工作,可高效细致地对多方公平交换协议进行分析、检测和设计.

关键词：公平交换逻辑协议形式化模型安全需求

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

水井空气反循环钻进

引用

煤田地质与勘探 1990年第6期18卷 67-69,65页

作者：李改成中国煤田地质局水文公司第二勘探队

介绍了利用双壁钻杆进行空气反循环钻进和反循环潜孔锤钻进的工艺方法、基本设备、主要技术规程及其所取得的钻进效果。

关键词：水井钻进反循环

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

钻铤接头螺纹断裂规律及改进措施

引用

煤田地质与勘探 1994年第6期22卷 68-70页

作者：李改成中国煤田地质总局水文局二队

钻铤间连接螺纹断裂位置一般是在４２１螺纹尾部最后一扣的牙底处。改进措施是接头螺纹尾端设应力分散槽、接头螺纹氮化处理和增加接头的壁厚。

关键词：断钻钻铤改进措施接头螺纹

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

泡沫钻进中的腐蚀现象与泡沫发生器

引用

煤田地质与勘探 1992年第5期20卷 63-65页

作者：李改成中国煤田地质总局水文地质局二队邢台054066

泡沫钻进中有两个问题有待解决。第一是泡沫对钢铁具有明显的腐蚀作用。由于泡沫中有水和大量空气,而空气中含有氧。钢铁的腐蚀主要是水与氧的作用。在氧化锈蚀过程中发泡剂也起着重要作用。为此提出了防腐措施。第二是泡沫的发生。稳... 详细信息

泡沫钻进中有两个问题有待解决。第一是泡沫对钢铁具有明显的腐蚀作用。由于泡沫中有水和大量空气,而空气中含有氧。钢铁的腐蚀主要是水与氧的作用。在氧化锈蚀过程中发泡剂也起着重要作用。为此提出了防腐措施。第二是泡沫的发生。稳定泡沫的产生必须具备两个条件:物质条件和机械条件。没有发泡剂的加入不会产生稳定的泡沫。没有强有力的机械作用,气体进入不了液膜,也不会发泡。相应的措施是设专门的泡沫发生器。

关键词：钻探钻进泡沫腐蚀发生器

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

反循环钻进试验

引用

煤田地质与勘探 1989年第5期17卷 62-65页

作者：刘厚株李改成水文地质勘探公司第二水文队

本文介绍了利用空气、泡沫作冲洗介质,进行普通反循环钻进和潜孔锤反循环钻进的各种钻具的不同连接方式和不同的工艺参数。此外还介绍了泡沫在反循环连续取心钻进中所显示的优越性。

关键词：反循环钻进钻进工艺

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

中学化学教学中如何培养学生的观察能力

引用

内蒙古师范大学学报（教育科学版） 2000年第3期13卷 168-169页

作者：李改成集宁市第七中学 012000

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

安全应用系统的形式化规范与求精过程研究

引用

信息网络安全 2009年第5期 24-27页

作者：李改成北京大学软件与微电子学院信息安全系北京102600

形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。

关键词：应用系统安全等级形式化方法规范求精

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

选择性调节不均均生产层渗透率的机理

引用

国外油田工程 2004年第4期20卷 17-18页

作者： Е.В.Лозин 王三乐李改成长庆石油学校

本文给出了以各种化学组成的试剂为基础的凝胶形成混合剂和沉淀形成混合剂的研究结果。已证实 ,提高原油采收率的高效导流技术可选择性地调节渗透率和原油饱和度不均匀油层的渗透性。

关键词：渗透率混合剂采收率原油导流技术饱和度油层

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

贫苦群众的好区长

引用

作文（初中年级） 2024年第11期 51-52页

作者：李改成(口述) 祝传鹏代丽(采访) 不详

不吃群众炒的菜父亲在世的时候,经常跟我提起焦裕禄。他说,他接触过很多干部,但像焦裕禄这样的干部真是不多见。他经常到贫苦人家去,了解情况,嘘寒问暖。他吃饭也有一个原则,那就是谁家贫穷,就抬脚去谁家。他是和穷苦大众走在一起的,他... 详细信息

不吃群众炒的菜父亲在世的时候,经常跟我提起焦裕禄。他说,他接触过很多干部,但像焦裕禄这样的干部真是不多见。他经常到贫苦人家去,了解情况,嘘寒问暖。他吃饭也有一个原则,那就是谁家贫穷,就抬脚去谁家。他是和穷苦大众走在一起的,他走的是人民群众路线,也正因如此,他才能得到那么多人的拥护和支持,各项工作才能推行得那么顺利。

关键词：焦裕禄人民群众路线群众

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：