论文部分内容阅读
针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分析工具。
基于源代码的隐通道搜索方法
【摘 要】
：
针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分析工具。
【机 构】
：
江苏大学计算机科学与通信工程学院
【出 处】
：
计算机应用
【发表日期】
：
2006年09期
【基金项目】
：
国家自然科学基金资助项目（60573046）
其他文献
作为一种全局门限处理方法,支持向量机图像分割方法不能完成对图像进行精细分割,其分割结果需要其他分割方法进一步处理。提出一种结合支持向量机和区域生长的交互式分割方法,不仅可有效剔除与感兴趣区域特征类似的非目标区域,而且把为SVM选择训练样本和为区域生长选择种子点两个步骤合二为一,从而提高了图像分割质量和交互式分割方法的自动分割能力。
讨论了子空间上一类矩阵反问题,得到了问题有解的充分必要条件及解的表达式.
构造了具有性质RD的序群上的Toeplitz代数的光滑子代数,并且证明了这个子代数在Toeplitz代数中是谱不变的.
利用邻居节点之间的能量相关性来反映局部区域的能量可用状况,在基于节点密度的路由算法(DBR)采用潜在能量的基础上,进一步研究降低路由能耗的问题,引入了剩余跳数来反映节点的实际传输能力,用一组体现综合影响的度量参数建立了最优路由节点集的选择模型。模拟结果显示,该算法能通过降低路由能耗实现更优的网络性能。