国家自然科学基金(61163001)
- 作品数：16 被引量：13H指数：2
- 相关作者：龙士工杨世平潘怀宇郑涵张珺铭更多>>
- 相关机构：贵州大学贵州商学院毕节学院更多>>
- 发文基金：国家自然科学基金贵州大学自然科学青年科研基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 基于新型分割技术的文件云存储被引量：2
- 2017年
- 本文探讨了云存储的常规安全机制上的一些漏洞,针对这些问题,通过改进现行的文件分割技术,提出了一种新的文件分割方法。并从理论的角度论述了新方案的可行性和优缺点,同时论证了新方案可以进一步增强文件云存储的安全性。
- 刘昊杨世平
- 关键词：云安全
- 基于UML模型的敏捷开发迭代顺序的确定被引量：4
- 2013年
- 确定迭代顺序是敏捷开发过程中首先要解决的一个关键问题,它是敏捷开发过程的基础,有很多文献资料在这方面做了大量工作,但都是以功能组的价值为依据来确定迭代开发顺序的,这种以单一指标为依据确定迭代顺序的方式往往会产生一些意料不到的后果,而且对功能组价值的确定大多采用定性的方法,很难用定量的方法来实现。针对敏捷开发过程中迭代顺序研究中所存在的一些问题,提出了利用UML(Unified Modeling Language)用例图和顺序图来计算代表系统各个功能的用例的使用概率和风险程度,以用例的使用概率和风险程度为基础,以概率统计和模糊意见集中决策方法为手段来定量确定敏捷开发过程中的迭代顺序。
- 胡文生赵明杨剑锋龙士工
- 关键词：UML
- 基于Zigbee和BPLC双模的智慧家庭自动化系统设计被引量：2
- 2017年
- 根据我国智慧产业的需求与发展方向,以智慧家庭引领智慧生活,提出了一种基于Zigbee和宽带电力线载波通信技术(BPLC)双模的智慧家庭自动化系统方案,给出了其系统模型图,介绍了Zigbee和BPLC关键技术,并结合二者的特点,采用CC2420芯片和QCA7000芯片联合设计了Zigbee&BPLC模块,描绘了其硬件电路原理图和软件处理流程。在某楼盘C栋住宅楼里的某间家庭住户内对所设计的智慧家庭自动化系统进行了初步功能测试,试验证明:设计的系统能够实现家居环境信息的在线实时采集,能够有效地控制家用电器的开关,具备较好的市场应用前景和系统开发价值。
- 张乾杨世平
- 关键词：ZIGBEE自动化系统
- 基于身份的代理盲签名方案的分析与改进被引量：1
- 2012年
- 通过对一种基于身份的代理盲签名方案的分析,指出该方案并不满足不可伪造性和不可连接性,代理人通过计算原始签名人的私钥,可以伪造原始签名人的签名或授权;当代理盲签名信息公开后,代理签名人经过分析计算自己已知信息,得知该方案不满足不可连接性,即盲性。在此基础上通过引入随机数和增加参数的方法,提出了一种基于身份的代理盲签名方案,克服了原方案存在的安全缺陷,并且保留了原方案的其它优点。
- 薛朝奎龙士工
- 关键词：代理盲签名基于身份不可伪造性
- 基于偏序规约技术的网络程序JPF验证
- 2014年
- 为了减少网络程序模型检测过程中产生的系统状态数目,提出了一种架构感知偏序规约方案。针对目前模型检测器JPF内置的偏序规约机制不能够识别出线程启动时产生的冗余状态问题,设计了一种可应用于JPF的网络程序模型检测的解决方案。该方案通过消除线程启动时产生的冗余路径,有效减少了检测过程中产生的状态空间。实验结果表明,该方案能够有效消除对冗余状态的检测,减少了JPF对网络程序进行模型检测时产生的状态数。
- 杨翰文龙士工谢光颖
- 基于行为时序逻辑TLA的安全协议形式化分析与检测
- 2012年
- 随着近年来网络协议的不安全性,对安全协议进行形式化分析与检测则显的非常重要。而基于行为时序逻辑TLA的模型检测是形式化分析检测方法中重要的一种。本文主要采用基于TLA的HLPSL语言形式化分析与检测H.530协议。
- 白圣广龙士工
- 关键词：行为时序逻辑安全协议
- 基于行为时序逻辑TLA的Pastry协议的规约与验证
- 2015年
- 本文研究基于行为时序逻辑TLA的模型检测技术,阐述TLA的语义、语法和公平性问题。用基于TLA的系统描述语言TLA+对Pastry协议及其属性进行规约并用模型检测工具TLC对其进行验证。
- 刘照洋龙士工
- 关键词：PASTRYTLC
- 模型检测空间分解分布式算法的优化与研究
- 2016年
- 模型检测对于系统的校验有着适用范围广、自动化验证程度高、验证速度快等优势。但是其状态爆炸问题制约了其应用,使用分布式技术缓解状态爆炸问题引来了新的问题——如何对状态空间进行分解。本文介绍了分布式SCC分解的两个算法:FB与MP-MS算法,并在其基础上,引入了OWCTY技术,对算法进行优化。通过实验,证明优化后的算法有着更高的效率和更小的时间开销,对于缓解状态爆炸问题有着重要的意义。
- 潘怀宇龙士工郑涵
- 关键词：分布式技术
- 基于DivinE的分布式模型检测及协议验证被引量：1
- 2016年
- 模型检测是一个高效且简单的方法来检测一个并发程序是否满足一个时序逻辑公式,它基于对系统状态空间的穷举搜索,通常采用深度优先搜索算法(DFS)。然而由于DFS算法固有的连续性,并且需要用到某些数据结构和同步机制,使得计算机的资源被大量的消耗,因此长期存在状态空间爆炸的问题。本文通过改进传统的DFS算法,利用DivinE工具,使状态空间爆炸问题能够在分布式环境下得到缓解。
- 郑涵龙士工潘怀宇刘照祥
- 关键词：DFS分布式
- 一种基于双线性对的云存储数据安全保护协议被引量：2
- 2017年
- 针对支持公开验证的云存储模式中用户的数据隐私有可能泄露给第三方审计(TPA)的问题,为保护用户云端数据隐私和数据完整,提出一个基于双线性映射的云端数据完整性检测协议。该协议利用哈希函数单向性的性质,云存储服务器收到第三方审计的挑战请求后,对所需验证的数据块进行哈希运算处理,使第三方审计在验证阶段无法获得用户数据信息,从而保护用户的数据隐私;然后给出所提协议的正确性、数据完整性和数据隐私保护的分析;此外通过Merkel哈希树(MHT)的引入解决了数据动态更新的问题,如修改、删除、插入、追加。
- 刘田天龙士工冯金明
- 关键词：数据完整性双线性映射
