南京航空航天大学学报
南京航空航天大學學報
남경항공항천대학학보
JOURNAL OF NANJING UNIVERSITY OF AERONAUTICS & ASTRONAUTICS
2012年
3期
384-392
,共9页
朱浩%庄毅%薛羽%丁卫平%梁惺彦
硃浩%莊毅%薛羽%丁衛平%樑惺彥
주호%장의%설우%정위평%량성언
可信释放%秘密性%信息流%三维%无干扰
可信釋放%祕密性%信息流%三維%無榦擾
가신석방%비밀성%신식류%삼유%무간우
秘密信息可信释放策略的研究目前主要集中在内容、时间、地点以及调用主体4个维度上,不同维度的策略侧重于解决可信释放的不同方面,具有一定的局限性.为了确保秘密信息的可信释放,需要综合考虑不同的维度.为此,提出了一种结合内容、地点和调用主体3个维度的可信释放策略.该策略的内容维度限制攻击者不能通过释放机制获取额外的秘密信息,地点维度控制秘密信息仅能在程序中特定语句点释放,而主体维度则限定攻击者不能影响秘密信息释放语句是否被调用执行.通过这3个维度的控制,该策略具有更细的控制粒度,能更好地抵抗信息清洗攻击.此外,建立了策略实施的类型系统,给出了类型系统的可靠性定理及其证明.
祕密信息可信釋放策略的研究目前主要集中在內容、時間、地點以及調用主體4箇維度上,不同維度的策略側重于解決可信釋放的不同方麵,具有一定的跼限性.為瞭確保祕密信息的可信釋放,需要綜閤攷慮不同的維度.為此,提齣瞭一種結閤內容、地點和調用主體3箇維度的可信釋放策略.該策略的內容維度限製攻擊者不能通過釋放機製穫取額外的祕密信息,地點維度控製祕密信息僅能在程序中特定語句點釋放,而主體維度則限定攻擊者不能影響祕密信息釋放語句是否被調用執行.通過這3箇維度的控製,該策略具有更細的控製粒度,能更好地牴抗信息清洗攻擊.此外,建立瞭策略實施的類型繫統,給齣瞭類型繫統的可靠性定理及其證明.
비밀신식가신석방책략적연구목전주요집중재내용、시간、지점이급조용주체4개유도상,불동유도적책략측중우해결가신석방적불동방면,구유일정적국한성.위료학보비밀신식적가신석방,수요종합고필불동적유도.위차,제출료일충결합내용、지점화조용주체3개유도적가신석방책략.해책략적내용유도한제공격자불능통과석방궤제획취액외적비밀신식,지점유도공제비밀신식부능재정서중특정어구점석방,이주체유도칙한정공격자불능영향비밀신식석방어구시부피조용집행.통과저3개유도적공제,해책략구유경세적공제립도,능경호지저항신식청세공격.차외,건립료책략실시적류형계통,급출료류형계통적가고성정리급기증명.
