您的位置: 专家智库 > >

国家自然科学基金(60963007)

作品数:25 被引量:77H指数:5
相关作者:李彤柳青李云飞郝林谢仲文更多>>
相关机构:云南大学福州大学昆明理工大学更多>>
发文基金:国家自然科学基金云南省自然科学基金福建省教育厅科技项目更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

文献类型

  • 25篇期刊文章
  • 5篇会议论文

领域

  • 28篇自动化与计算...
  • 1篇电子电信
  • 1篇自然科学总论

主题

  • 6篇多核
  • 6篇PETRI网
  • 5篇RSA算法
  • 5篇BATCH
  • 4篇软件体系结构
  • 4篇体系结构
  • 4篇模幂
  • 2篇有色PETR...
  • 2篇云计算
  • 2篇软件体系结构...
  • 2篇软件演化过程
  • 2篇批处理
  • 2篇安全套接层
  • 2篇AOP框架
  • 2篇CSP
  • 2篇层次化
  • 2篇MULTI-...
  • 1篇代数
  • 1篇代数语义
  • 1篇丢包

机构

  • 28篇云南大学
  • 4篇福州大学
  • 2篇云南民族大学
  • 1篇楚雄师范学院
  • 1篇昆明理工大学

作者

  • 16篇李彤
  • 10篇李云飞
  • 10篇郝林
  • 10篇柳青
  • 9篇谢仲文
  • 6篇代飞
  • 4篇杨曦
  • 4篇周保林
  • 4篇郁湧
  • 3篇刘金卓
  • 3篇卢萍
  • 3篇秦江龙
  • 2篇朱锐
  • 2篇彭华
  • 2篇刘庆龙
  • 1篇付徐明
  • 1篇高提雷
  • 1篇魏云飞
  • 1篇王剑
  • 1篇亢志远

传媒

  • 4篇计算机应用与...
  • 3篇云南大学学报...
  • 2篇计算机应用研...
  • 2篇计算机工程与...
  • 2篇计算机科学
  • 1篇电信科学
  • 1篇华中科技大学...
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇应用科学学报
  • 1篇计算机工程与...
  • 1篇江苏大学学报...
  • 1篇赤峰学院学报...
  • 1篇信息安全与技...

年份

  • 5篇2013
  • 8篇2012
  • 11篇2011
  • 6篇2010
25 条 记 录,以下是 1-10
排序方式:
基于SSL协议的快速密钥恢复方案
在使用SSL协议进行安全通信的过程中,当会话中的一方仍保持会话状态而另一方失去会话状态,SSL协议会重新进行握手过程协商会话密钥,加重了网络的通信流量。通过引入密钥恢复模块(KRB),提出一种SSL会话快速恢复方案。该会...
魏云飞付徐明郝林
关键词:安全套接层封装
文献传递
一个层次化的软件体系结构模型
软件体系结构对提高软件系统质量有着重要的作用,软件体系结构模型是一种用来定义软件体系结构的工具。在分析软件系统和软件体系结构的五个重要特征的基础上,基于CSP和Petri网提出了一个形式化的软件体系结构模型MSAM,其体...
谢仲文李彤代飞赵娜郁湧刘金卓金运志
关键词:软件体系结构CSPPETRI网
基于多核的SSL协议性能的并行优化
2011年
将服务器端的负载转移到客户端,可以解决安全套接层SSL协议握手过程中服务器端负载过重的问题。但该方法会使客户端负载加重,特别是当客户端需要进行高安全级别的握手和使用大量富因特网应用时,客户端负载加重明显。为了保证良好的服务质量,针对当前客户端以多核设备为主,对SSL客户端进行并行优化,使SSL在握手时即保证服务器端负载较低又能使客户端负载降低,从两方面对SSL性能进行改进,保证服务质量。
刘庆龙柳青李云飞周保林
关键词:安全套接层协议多核
基于Petri网的面向动态演化的软件体系结构建模被引量:7
2012年
为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。
谢仲文李彤代飞秦江龙张璇莫启朱锐
关键词:软件体系结构PETRI网连接件
一种基于CBD的构件优化选择模型
2013年
构件优化选择模型一直是基于构件开发领域的研究热点,但过去的二十年间这方面的理论研究一直未取得太大的成果,尤其在选择构件时几乎都未考虑构件间内聚和耦合的影响.本文提出一种构件优化选择的数学模型,为如何选择构件提供一种可量化的依据.该模型将CBD开发的功能性评级及构件的内聚性和耦合度进行了量化,试图在功能评级和内聚性最大化,而耦合度最小化的情况下,应用遗传算法寻求最佳的构件选择方案.最后,通过一个小型金融系统的案例来验证该模型的有效性.
杨曦
关键词:耦合度模块化遗传算法
一种软件演化过程模型的代数语义被引量:13
2012年
随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.
代飞李彤谢仲文于倩卢萍郁涌赵娜
关键词:软件演化过程代数语义COMMUNICATING
基于结构熵的构件耦合性度量方法被引量:2
2012年
在基于构件的软件系统中,耦合性是软件中各个构件之间相互关联程度的一种度量。为了能够较好地对软件系统中构件之间的耦合性进行度量,首先对基于构件的软件系统进行形式化表示;然后,对软件系统中的构件之间的耦合关系进行分析;最后,提出结构熵的概念和一种基于结构熵的构件耦合度的度量方法。
郁湧张坤
关键词:耦合性软件系统
一种有效的RSA算法改进方案被引量:27
2010年
RSA算法的解密性能与大数模幂运算的实现效率有着直接的关系。提出一种RSA算法的改进方案,通过将RSA解密时的一些运算量转移到加密方,并且运用多素数原理使得解密时大数模幂运算的模位数和指数位数减小。实验结果表明该方案不仅提高了RSA密码系统的安全性,而且提升了RSA密码系统解密的性能,且该方案易于并行实现,可使得基于多核平台的RSA系统的性能得到进一步提升。
李云飞柳青郝林周保林
关键词:RSA算法模幂多核
一种有效的Batch RSA改进算法被引量:2
2012年
Batch RSA算法的解密性能与指数计算阶段的大数模幂运算的实现效率有着直接的关系.针对提升Batch RSA算法的解密性能,提出一种Batch RSA算法的改进方案.提升通过将Batch RSA算法指数计算阶段的一些运算量转移到加密方,并且运用多素数技术使得解密时大数模幂运算的模数位数和指数位数减小.理论分析和实验结果表明该方案不仅提升了批处理RSA算法的解密性能,且该方案易于并行实现,可使得基于多核平台的RSA密码算法的性能得到进一步提升.
李云飞柳青李彤郝林
关键词:BATCH多核
高速网络下提高Snort检测率的方法研究
2010年
高速网络环境下如果遇到突然的超负载,网络入侵检测系统的极限处理能力将不可能有效地监督整个网络,而且包捕获子系统将在传送捕获数据到分析子系统前,不可避免地随意丢弃一部分数据包,这将阻碍系统的检测能力并导致部分攻击行为的漏检.提出具有选择地丢弃一部分对检测率影响不大的数据包,从而避免系统丢弃数据包的随意性.
陈艳萍金川明郝林
关键词:SNORT
共3页<123>
聚类工具0