您的位置: 专家智库 > >

河北省自然科学基金(F2011201039)

作品数:4 被引量:1H指数:1
相关作者:娄健何欣枫张欣更多>>
相关机构:河北大学保定市供水总公司更多>>
发文基金:河北省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 2篇服务器
  • 1篇形式化
  • 1篇形式化验证
  • 1篇应用层组播
  • 1篇直播
  • 1篇实时流媒体
  • 1篇视频
  • 1篇视频直播
  • 1篇配置单
  • 1篇组播
  • 1篇流媒体
  • 1篇流媒体服务
  • 1篇流媒体服务器
  • 1篇媒体服务
  • 1篇媒体服务器
  • 1篇可信计算
  • 1篇SCL
  • 1篇TCG
  • 1篇TPM
  • 1篇WEB服务器

机构

  • 3篇河北大学
  • 1篇保定市供水总...

作者

  • 3篇娄健
  • 2篇何欣枫
  • 1篇张欣

传媒

  • 2篇大众科技
  • 1篇Wuhan ...
  • 1篇电脑知识与技...

年份

  • 1篇2012
  • 3篇2011
4 条 记 录,以下是 1-4
排序方式:
An Approach of Trustworthy Software Design with Automatically Adapting Software Update
2011年
In this paper, we merge software trustworthiness with software design and present an approach to trustworthy software design with an automatically adapting software update. First, software behavior and results can be expected and behavior states can be monitored when a software runs by introducing a trustworthy behavior trace on a software and inserting a checkpoint sensor at each checkpoint of the trustworthy software. Second, an updated approach of the trustworthy behavior trace for the software at the level of checkpoints is presented. The trustworthy behavior traces of the software for two versions can be merged adequately by constructing split points and merge points between two trustworthy behavior traces. Finally, experiments and analyses show that: (1) the software designed by our approach can detect and report the anomaly in a software automatically and effectively, so it has a higher ability of trustworthiness evaluation than the traditional software; and (2) our approach can realize the accurate update of the trustworthy behavior trace with a lower space overhead of checkpoints when the software updates.
LI Zhen TIAN Junfeng
可信Web服务器的设计与实现
2012年
针对目前Web应用中存在的大量安全威胁,该文给出了一种使用可信计算技术保障Web服务器内容安全、可信的模型。该模型使用TPM(Trusted Platform Module)作为系统的可信根,通过TPM内部的散列和加/解密部件实现对Web服务器内容完整性、机密性、隐私性的保护,从而保证Web应用的安全、可信。
张欣娄健
关键词:可信计算TCGTPMWEB服务器
基于应用层组播的实时流媒体负载分配方案被引量:1
2011年
针对目前日益增长的音视频直播需求,设计了一种用于视频直播的实时流媒体负载分配方案。方案基于应用层组播技术,通过使用中间人(Broker)连接多个流媒体服务器来平衡负载,并可根据负载情况进行动态调整。在实际应用中,方案增加了传统单点流媒体服务器的连接数,并有效控制了音视频流的延迟时间。
张欣何欣枫娄健
关键词:应用层组播视频直播流媒体服务器
基于形式化验证的构件组装研究
2011年
提出了一种基于形式化验证的构件组装方法。该方法根据应用系统的功能需求及现有构件的功能特性,生成软件配置单(SCL);然后以EBNF描述的多组组装规则为依据,采用属性文法定义及YACC对SCL进行推导验证,只有验证通过才说明组装成功。整个推导验证过程均采用形式化方法,通用性强,提高了构件组装的自动化程度,适用于多种领域的应用系统组装。
崔天伟娄健何欣枫
共1页<1>
聚类工具0