【摘 要】
：
软件动态行为可信度量是可信计算必须要解决的关键问题之一。对该问题的关键一环，软件动态行为建模理论和方法，进行了研究：以系统调用为建模对象，从软件行为学的观点出发，将软
【机 构】
：
杭州电子科技大学通信工程学院，浙江杭州 310018
【出 处】
：
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)
论文部分内容阅读
软件动态行为可信度量是可信计算必须要解决的关键问题之一。对该问题的关键一环，软件动态行为建模理论和方法，进行了研究：以系统调用为建模对象，从软件行为学的观点出发，将软件动态行为刻画为进程代数CCS(calculus of communication system)动作的形式。在此基础上，提出了软件动态行为模型的形式化表达DBMS={SCSS,E}，其中，SCSS是整个系统的系统调用序列，E是一套基于CCS的行为变换操作符，结合SCSS和E，能够表达系统内任意软件的任意行为。进一步地，提出了一种分布式软件动态行为度量架构，利用该架构能够增强软件动态行为度量的准确性，并提高度量效率。
其他文献
盲签名具有保护用户隐私的作用，前向安全数字签名可以有效地减少由于密钥泄露所造成的损失。当前大多数前向安全盲签名方案都存在缺陷和难以保障安全性。鉴于此，基于Schnor
受疫情等因素的影响,我国制造业受到较大冲击,在订单稳定或下降的情况下,降成本控费用成为企业的重要应对工作之一.这就要求在企业内部树立全员降成本控费用的观念,采购供应
成本管控是酒店管理的一项重要内容.在当前严峻的市场环境下,国有酒店更应树立成本管控理念,落实有效的成本管控措施,做到事前预算、事中管理、事后分析,合理控制成本,提升盈
经过长期的发展,当前我国市场经济取得了很大的进步,市场竞争的激烈程度越来越高,这就使得企业面临着更加复杂的局面.在此背景下,企业内部审计工作的难度也随之增大.尤其是对
针对目前存在的大量遗留系统问题,提出了一种基于Web服务与CAS认证服务技术的遗留系统集成框架.该框架在应用集成过程中保持了原有遗留系统稳定性的同时,也解决了用户重复登
对空间信息网路由协议进行了研究，提出了一种基于GEO-LEO(geosynchronous earth orbit，GEO；low earth orbit，LEO)双层卫星组网的空间信息网抗毁安全路由协议。协议中GEO卫星
针对传统的基于词频特征向量核方法的垃圾邮件过滤算法中忽略词汇间的序列信息而导致信息损失影响过滤精度的问题,本文将词序列核与SVM(support vector machines)算法结合,对
将３种类型１５３Ｓｍ一树脂微球（１５３Ｓｍ一ＲＴＭＳ）穿刺注入３组家兔肝脏局部，用ＳＰＥＣＴ分别于注射后１ｈ、２ｄ、２ｄ、３ｄ、４ｄ．５ｄ拍摄全身平面影像．在不同像上勾画ＲＯＩ，计算总流失率（Ｌ％）和脏摄取率（Ｕ％）．结果表明，未处理型和明胶处理型的１５３ＳＳｍ一ＲＴＭＳ的总流失率（Ｌ％）和
品牌延伸不同于品牌推广,但品牌延伸是品牌价值最大化的重要手段与方式.它指的是在原有的知名品牌范围基础上,通过授权或加盟的方式,将品牌应用到新的产品或服务领域之中,利
经过改革开放四十多年的发展,中国经济正在由高速增长阶段转入中速增长阶段,商业世界也在发生着前所未有的变化,乃至被重新定义,创新与坚守、转型与取舍、互联网+与传统产业