-
题名基于签密的多方认证邮件协议
被引量：10
- 1
-
-
作者
王彩芬
贾爱库
刘军龙
于成尊
-
机构
西北师范大学数学与信息科学学院计算机科学系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第11期2070-2073,共4页
-
基金
甘肃省自然科学基金(No.3ZS051-A25-042)
西北师范大学网络安全重点学科基金
-
文摘
签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明了该协议的公平性与非否认性.文中还通过与已有协议进行比较,阐述了新协议的优点.
-
关键词
公平交换协议
一对多的认证邮件协议
签密
公平性
非否认性
-
Keywords
fair exchange
one-to-more certified mail protocol
signcryption
fairness
non-repudiation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于优先队列的最小生成树算法
被引量：1
- 2
-
-
作者
曾湘燕
陶文祥
-
机构
西北师范大学计算机系
-
出处
《微电子学与计算机》
CSCD
北大核心
1997年第1期39-41,共3页
-
文摘
本文提出一个获取连通网络是小生成树的算法。该算法采用一个优先队列组织各顶点集合，每次根据边的权值对队列头集合进行增长。由于对每个顶点的相关联边进行了按权值分级排序的预处理，算法获取具有。个预示e条边的无向连通网络的最小生成树的期望时间是O（e*loglogn）。
-
关键词
最小生成树
优先队列
法分析
数据结构
-
Keywords
Minimum spanning tree, Priority queue, Algorithm analysis
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名Prolog正向推理机中否定谓词的处理
- 3
-
-
作者
陶文祥
曾湘燕
周中一
浦恩沸
-
机构
西北师范大学计算机科学系
-
出处
《微电子学与计算机》
CSCD
北大核心
1993年第3期31-33,共3页
-
文摘
根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定.为了处理这类情况,我们提出了假事实推理法,从而有效地处理了Prolog正向推理机中的否定谓词.
-
关键词
PROLOG语言
正向推理机
否定谓词
not
处理思想
-
Keywords
Prolog
Forward Inference
False fact inference
Expertsystem
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名微机控制动态无功补偿技术的研究
被引量：6
- 4
-
-
作者
文哲蓉
-
机构
西北师范大学计算机科学系
-
出处
《兰州铁道学院学报》
2000年第3期52-55,共4页
-
文摘
通过对电力电容器无过渡过程投切的理论分析 ,提出了解决晶闸管投切电容器误触发问题的优化方法 。
-
关键词
微机控制系统
动态无功补偿
晶闸管开关
抗干扰
-
Keywords
microcomputer control system
dynamic reactive power compensation
thyristor switch
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种用于逆向推理的Prolog元级解释器
- 5
-
-
作者
陶文祥
曾湘燕
牛忠慈
-
机构
西北师范大学计算机科学系
甘肃省经济管理干部学院
-
出处
《微电子学与计算机》
CSCD
北大核心
1993年第8期21-22,26,共3页
-
文摘
本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。
-
关键词
逆向推理
专家系统
元级解释器
-
Keywords
Prolog
Backward imference
Knowledge representation
Expert system
Meta-level interpreter
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名Prolog模糊推理机
- 6
-
-
作者
陶文祥
曾湘燕
-
机构
西北师范大学计算机科学系
-
出处
《微电子学与计算机》
EI
CSCD
北大核心
1997年第1期32-34,共3页
-
文摘
本文采用基于模糊集会论的推理策略，为TurboProlog设计了一个模糊推理机外壳，使其能够在保持原有系统功能的基础上处理模糊信息。
-
关键词
模糊集合论
模糊推理机
PROLOG
程序语言
-
Keywords
Fuzzy set theory, Fuzzy inference engine, Prolog
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种保证QoS的服务发现机制
- 7
-
-
作者
马秀琴
冯百明
秦红武
-
机构
西北师范大学数信学院计算机系
-
出处
《佳木斯大学学报（自然科学版）》
CAS
2005年第1期14-17,共4页
-
基金
甘肃省自然科学基金项目(编号:ZS001-A22-017-G)
甘肃省高等院校2000年科学技术发展计划项目(编号:001-16)
-
文摘
在网格计算环境中,服务发现是联系服务消费者和服务提供者的重要环节,服务质量QoS是服务消费者关注的重要问题之一.本文提出了一种保证QoS的服务发现机制.该机制根据服务消费者的消费历史,以服务质量QoS要求中的主要参数作为主关键字,进行分类排序,并利用本地缓存,加快了服务发现的速度.对服务提供者提出"连锁店"的概念,结合资源预约,最终满足服务消费者对服务质量QoS的要求.
-
关键词
服务发现
服务质量QOS
UDDI
WS—Inspection
资源预约
-
Keywords
service discovery
quality of service (QoS)
UDDI
WS-Inspection
resource reservation
-
分类号
TP393.4
[自动化与计算机技术—计算机应用技术]
-
