检索结果-内蒙古大学图书馆

系统工程与电子技术 2013年第12期35卷 2619-2630页

作者：张迎周符炜张卫丰南京邮电大学计算机学院江苏南京210003 桂林电子科技大学广西可信软件重点实验室广西桂林541004 江苏省无线传感网高技术研究重点实验室江苏南京210003

鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反... 详细信息

鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用性,对Web服务相关活动的性质进行统一描述和测试,重点研究基于单子的Web服务测试用例形式化描述及其自动生产,以及服务测试单子的设计和实现等,以期从一定程度上解决Web服务测试目前所面临的动态灵活性和可组合重用性等问题。

关键词： Web服务测试测试用例表示测试数据自动测试单子技术余代数方法

来源：评论

学校读者我要写书评

暂无评论

一种面向移动计算的机密性与完整性模型

引用

计算机学报 2013年第7期36卷 1424-1433页

作者：郭云川方滨兴殷丽华周渊中国科学院信息工程研究所北京100093 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 国家计算机网络应急技术处理协调中心北京100029

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Security... 详细信息

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性.

关键词：机密性完整性混杂类型检测移动计算移动互联网

来源：评论

学校读者我要写书评

暂无评论

深度优先的多基因表达式程序设计

引用

模式识别与人工智能 2013年第9期26卷 819-828页

作者：邓薇何锫钱俊彦长沙理工大学计算机与通信工程学院长沙410114 北京大学高可信软件技术教育部重点实验室北京100871 桂林电子科技大学广西可信软件重点实验室桂林541004

基因表达式程序设计(GEP)是应用十分广泛的自动程序设计方法.就解码方法而言,它主要依据广度优先原则来实施从个体表示到表达式的转换.这代表基因片段的含义会因环境的变化而变化.为此,现有GEP对个体的评估缺乏并发支持能力.本文从理论... 详细信息

基因表达式程序设计(GEP)是应用十分广泛的自动程序设计方法.就解码方法而言,它主要依据广度优先原则来实施从个体表示到表达式的转换.这代表基因片段的含义会因环境的变化而变化.为此,现有GEP对个体的评估缺乏并发支持能力.本文从理论与实验两个方面证实:深度优先原则及个体多解技术,即让单个染色体编码多个解的技术,既可解决以上GEP困境也可显著改善其性能.

关键词：演化计算遗传程序设计基因表达式程序设计多表达式程序设计符号回归

来源：评论

学校读者我要写书评

暂无评论

非线性循环的终止性分析

引用

软件学报 2012年第5期23卷 1045-1052页

作者：李轶电子科技大学计算机推理与可信计算实验室四川成都610054

单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.

关键词：可信计算非线性循环终止性分析 DISCOVERER

来源：评论

学校读者我要写书评

暂无评论

一种过程间单子切片方法

引用

电子学报 2013年第8期41卷 1457-1461页

作者：张迎周符炜南京邮电大学计算机学院江苏南京210003 广西可信软件重点实验室桂林电子科技大学广西桂林541004 江苏省无线传感网高技术研究重点实验室江苏南京210003 宽带无线通信与传感网技术教育部重点实验室江苏南京210003

在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得... 详细信息

在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.

关键词：单子切片方法模块单子语义过程间程序参数间依赖组合性

来源：评论

学校读者我要写书评

暂无评论

Zigbee传感器网络协议栈的研究与分析

引用

电脑知识与技术 2013年第6X期9卷 4220-4222页

作者：李小龙彭美平桂林电子科技大学计算机科学与工程学院广西桂林541004 广西可信软件重点实验室广西桂林541004

Zigbee为一种低延迟,低功耗,低成本和高可靠性的无线网状组网标准,有效满足传感器网络的要求,在工业监控、野外侦测、目标监控等领域具有广泛的应用前景。该文介绍和分析了Zigbee协议栈,给出了其整体系统结构,重点介绍了Zigbee标准物理... 详细信息

Zigbee为一种低延迟,低功耗,低成本和高可靠性的无线网状组网标准,有效满足传感器网络的要求,在工业监控、野外侦测、目标监控等领域具有广泛的应用前景。该文介绍和分析了Zigbee协议栈,给出了其整体系统结构,重点介绍了Zigbee标准物理层中的频段和通用规范,以及媒体访问控制层中的信道扫描技术和帧结构。

关键词：无线传感器网络 ZIGBEE技术协议栈物理层数据链路层

来源：评论

学校读者我要写书评

暂无评论

传感器网络中基于信任管理的高可靠覆盖机制

传感器网络中基于信任管理的高可靠覆盖机制

引用

2013全国高性能计算学术年会

作者：李小龙董书豪梁海桂林电子科技大学计算机科学与工程学院广西可信软件重点实验室桂林541004

针对传感器网络中的安全覆盖问题，将覆盖算法整合到信任管理系统中，提出了一种分布式基于信任管理的高可靠覆盖机制。通过分析信任管理系统的潜在要求，理论上推导和分析了网格尺寸选择。引入动态信任阈值新的概念，定量分析了覆盖节... 详细信息

针对传感器网络中的安全覆盖问题，将覆盖算法整合到信任管理系统中，提出了一种分布式基于信任管理的高可靠覆盖机制。通过分析信任管理系统的潜在要求，理论上推导和分析了网格尺寸选择。引入动态信任阈值新的概念，定量分析了覆盖节点集大小、联合信任度与动态信任阈值之间的关系。在此基础上，设计了确保可靠覆盖目标区域的节点调度覆盖算法。仿真结果表明新的机制在覆盖率和联合信任度等方面的有效性。

关键词：无线传感器网络信任管理高可靠覆盖动态信任阈值网格分布式

来源：评论

学校读者我要写书评

暂无评论

基于ASP的CSP进程描述与组合研究

基于ASP的CSP进程描述与组合研究

引用

第四届全国智能信息处理学术会议

作者：赵岭忠司徒凌云翟仲毅钱俊彦桂林电子科技大学计算机科学与工程学院桂林541004 广西可信软件重点实验室桂林541004 桂林电子科技大学计算机科学与工程学院桂林541004

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述... 详细信息

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程.研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证.实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性.

关键词：计算机程序语言模型动态服务器页面组合进程生成技术

来源：评论

学校读者我要写书评

暂无评论

基于OPNET的改进型Zigbee传感器网络仿真系统

引用

江苏大学学报（自然科学版） 2012年第6期33卷 671-677页

作者：李小龙彭美平桂林电子科技大学计算机科学与工程学院广西桂林541004 桂林电子科技大学广西可信软件重点实验室广西桂林541004

为解决基于OPNET网络仿真器的Zigbee传感器网络仿真系统的控制开销大、网络延时大、可扩展性差、不能保证节点全部接入网络等问题,提出一种改进的仿真系统.利用OPNET仿真开发平台提供的IEEEE802.15.4协议的MAC层进程模型和无线管道模型... 详细信息

为解决基于OPNET网络仿真器的Zigbee传感器网络仿真系统的控制开销大、网络延时大、可扩展性差、不能保证节点全部接入网络等问题,提出一种改进的仿真系统.利用OPNET仿真开发平台提供的IEEEE802.15.4协议的MAC层进程模型和无线管道模型,设计了与Zigbee协议兼容的网络层协议、路由算法,创建了嵌入路由功能的网络层进程模型.给出了其模型结构和功能实现方法,将所提出的模型与Zigbee自带模型进行了试验对比,对网络接入开销、端到端延时等性能进行了分析,并总结了建模过程中的一些经验.结果表明,新系统在不同网络规模下入网控制开销小、网络延时小;而且可扩展性强、节点全部入网所需的路由器节点少,可有效应用于面向工业监控的传感器网络.

关键词：无线传感器网络工业监控 Zigbee 仿真 OPNET

来源：评论

学校读者我要写书评

暂无评论

基于加权下推系统优化可达性分析的Java安全信息流研究

引用

计算机研究与发展 2012年第5期49卷 901-912页

作者：孙聪唐礼勇陈钟马建峰计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071 高可信软件技术教育部重点实验室(北京大学) 北京100871

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以... 详细信息

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以支持对标错状态的可达性分析,保证标错状态不可达时对应字节码程序满足无干扰性.在此基础上为提高实际验证效率提出了3种模型优化方法.实验说明方法的可用性、效率、可扩展性及模型优化的实际效果.

关键词：信息流无干扰性加权下推系统自合成可达性分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：