论文部分内容阅读
针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分析工具。
基于源代码的隐通道搜索方法
【摘 要】
：
针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分析工具。
【机 构】
：
江苏大学计算机科学与通信工程学院
【出 处】
：
计算机应用
【发表日期】
：
2006年09期
【基金项目】
：
国家自然科学基金资助项目（60573046）
其他文献
90年代以来,以金融业并购为主体的全球并购浪潮,使学者们开始探寻影响银行并购成功的因素.提出的10种因素是对以往学者们研究的总结,同时对并购的影响因素作出分析评估模型.
作为一种全局门限处理方法,支持向量机图像分割方法不能完成对图像进行精细分割,其分割结果需要其他分割方法进一步处理。提出一种结合支持向量机和区域生长的交互式分割方法,不仅可有效剔除与感兴趣区域特征类似的非目标区域,而且把为SVM选择训练样本和为区域生长选择种子点两个步骤合二为一,从而提高了图像分割质量和交互式分割方法的自动分割能力。
以改善P2P网络的安全性能为目标,介绍了基于关键节点的混合式P2P结构和基于信誉的信任机制,提出了一种基于该信任机制的混合式P2P模型,描述了该模型的工作机制。利用该模型可以在两个对等实体之间建立高效、可靠的信任关系,有效防止恶意攻击,提高P2P网络的效率和安全。
党和政府对家庭经济困难学生的资助力度不断加大,包括"奖、减、贷、助、免"在内的资助政策体系不断完善。本文依托党的十八大报告提出"全面建成小康社会"建设目标,依据全国高
讨论了子空间上一类矩阵反问题,得到了问题有解的充分必要条件及解的表达式.
构造了具有性质RD的序群上的Toeplitz代数的光滑子代数,并且证明了这个子代数在Toeplitz代数中是谱不变的.
利用邻居节点之间的能量相关性来反映局部区域的能量可用状况,在基于节点密度的路由算法(DBR)采用潜在能量的基础上,进一步研究降低路由能耗的问题,引入了剩余跳数来反映节点的实际传输能力,用一组体现综合影响的度量参数建立了最优路由节点集的选择模型。模拟结果显示,该算法能通过降低路由能耗实现更优的网络性能。
提出一种基于CPU卡的PKI柜员身份认证系统,并详细阐述该系统的拓扑结构和工作原理,给出系统的具体设计和实现。该系统的实现克服了传统柜员身份认证系统的安全性不强、数据容易被盗取的缺点,具有高度的安全性和可靠性。
巯基醋酸是一种用途非常广泛的精细化工产品．本文研究了以氯乙酸钠和硫代硫酸钠为主要原料，采用Ｂｕｎｔｅ盐法合成了巯基醋酸，并对各工艺条件进行了讨论．认为该法成本低、生产过程简便、易
介绍了在平面应力和平面应变情况下，判断主应力和主剪应力方位的法则，并给出了理论证明。