【摘 要】
：
降密策略的主要目的在于确保程序中敏感信息的安全释放。目前,降密策略的安全条件和实施机制的研究主要集中在顺序式程序设计语言,它们不能直接移植到多线程并发环境,原因在
【机 构】
：
南通大学江苏省专用集成电路设计重点实验室,南京航空航天大学计算机科学与技术学院,南通大学计算机科学与技术学院
【基金项目】
：
江苏省博士后科研资助计划（1401022C）, 江苏省高校自然科学研究面上项目（14KJB510028）, 南通市科技计划项目（BK2014061）资助
论文部分内容阅读
降密策略的主要目的在于确保程序中敏感信息的安全释放。目前,降密策略的安全条件和实施机制的研究主要集中在顺序式程序设计语言,它们不能直接移植到多线程并发环境,原因在于攻击者能利用线程调度的某些性质推导出敏感信息。为此,基于多线程程序设计语言模型和线程调度模型,建立了支持多线程并发环境的二维降密策略,有效确保了在合适的程序点降密合适的信息;建立了多线程并发环境下该降密策略的动态监控机制,并证明了该实施机制的可靠性。
其他文献
参数选择本身是一个组合优化问题,尽管过去提出了很多方法,但是参数选择依然令人困惑,为此提出适用于差分进化算法的参数自适应选择策略.该策略在进化的过程中动态评估参数的
服务承载网络是基于服务构建的以满足服务端到端QoS保障为出发点的覆盖网络，是满足可重构柔性网络对业务需求支撑的有效的网络架构。基于可重构柔性网络体系框架，分析服务承载
利用马尔可夫链对图像DCT变换系数的相关性进行建模,提取模型的状态转移概率矩阵作为特征向量,然后采用支持向量机分类器对自然图像和篡改图像进行分类。实验结果表明,该算法
各种专业领域中的文档往往具有显著的结构化特征,即一篇文档往往是由具有不同表达功能的相对固定的多个文本字段构成,同时这些字段蕴含了相关的领域知识.针对专业文档的结构
现有的无线传感器网络定位技术消耗了大量的计算和处理资源,并且受到了环境因素以及对手攻击等干扰,在受限空间中定位精度较低,无法满足定位需求。为了提高受限空间中的定位精度,提出了一种基于梯度的安全定位算法,算法在双曲线定位模型基础上,引入梯度的概念,降低了算法的计算复杂度,使算法能够适应受限空间的环境要求,实现高效高精度的定位;为了提高算法的安全性,增加了对不一致性测量的选择性剪枝过程,增强了算法对恶
为了更好地获取人脸的纹理特征和解决人脸多频带的权值问题,提出了双树复小波多频带类内类间不确定度特征融合的人脸识别算法。首先使用了人脸双树复小波多频带特征构建人脸的纹理特征,引入了双树复小波多频带类内类间的不确定度计算多频带特征权值,同时采用了二维主成份分析方法对人脸多频带特征进行重构线性子空间,人脸子空间加权融合得到的最终特征能够保证投影后样本在新的空间中有最小的类内距离和最大的类间距离。使用OR
由中铁西南科学研究院有限公司开发研制的PNJ系列炮泥机是用于工程爆破的炮泥制作专用设备，该机获国家专利，填补了国内爆破工程施工配套机械的空白，并获中国铁道学会科学技术三
利用黎曼流形上Lipschitz函数的Penot广义方向导数和Clarke广义梯度，得到了黎曼流形上凸函数的判别，并得到了黎曼流形上凸规划极小点的充分条件，给出了黎曼流形上的等式约束优化