基于冗余代码插入外部时间信道屏蔽的算法.pdfVIP

第27卷第6期 常 州 工 学 院 学 报 Vo1．27 NO．6 2014年 12月 JournalofChangzhouInstituteofTechnology Dec．2014 doi：10．3969／j．issn．1671—0436．2014．06．007 基于冗余代码插入外部时间信道屏蔽的算法 张欢欢 (安徽工业大学计算机科学与技术学院，安徽 马鞍山 243032) 摘要 提出了一种基于冗余代码插入的方法来平衡时间差，从而避免攻击者通过观察程序的 执行时间来获取机密信息，并对转化方法进行了证明。 关键词 攻击者；时间泄密；外部时间信道 ；时间差；机密信息 中图分类号：TP301 文献标志码 ：A 文章编号：1671—0436(2014)06—0034—04 A ShieldingM ethodBased onInsertingRedundantCode intoExternalTimeChannel ZHANG Huanhuan (SchoolofComputerScienceandTechnology，AnhuiUniversityofTechnology，Ma~shna243032) Abstract Thispaperproposedandprovedamethodofinsertingredundantcodeto balancethetime difference，bywhichconfidentialinformation cannotbeobtmnedbytheattackerby observing theprogram executiontime． Keywords attacker；timeleaks；externaltimechnanel；timedifference；confidentialinfomr ation 息传给攻击者；间接泄密 (有时候也称为隐蔽存 0 引言 储信道)，机密信息被编码在可观察程序行为的 随着计算机和网络技术的迅猛发展，保障计 程序中，程序可能根据机密数据的数据值不同而 算机和网络上的信息安全性变得越来越重要。但 执行不同的数据访 问；时间泄密 (或者通过一个 是，传统保障信息安全的机制仍存在缺陷，不能够 隐蔽时间信道)，当程序将机密数据编码在与时 充分保障信息端到端的安全。D．E．Denning首先 间有关的行为时，或攻击者通过在一个特定时间 提出了信息流的概念，信息流是指若存储在对象 间隔期间测量资源的可用性从而可 以观察操作 )，(源头)中的信息直接或间接地影响 (目标)，则 方式来操作共享资源时，时间泄密就会发生了。 对象Y和 之间存在信息流。D．E．Bell和 L．J． 程序也可能通过其终止行为泄密信息。例如， LaPadula提出并描述了安全信息流。J．Goguen 当机密数据满足一些条件时，程序就正常终止 和J．Meseguer也分别阐明了程序访 问的安全信 或者进入无限循环，可 以认为通过非终止泄密 息流特性。程序的信息流安全是信息流安全的一 是一个特殊的时间泄密情况。2外部时间隐蔽 个重要研究方 向。【13事实上，攻击者可 以以多种不 信道已经被用于在实践中泄露信息和打破密码 同方式获取机密信息或者隐私信息：直接泄密 系统。¨现有缓解外部时间信道的机制，对于基 (最简单且直截了当的泄密方式)，直接将机密信 于语言的信息流来说那些之前的机制在应用中 收稿 日期：2014—11—1