信息安全中语义安全性定义及其对等性证明  

Definition and Equation Proof of Semantic Security in Information Security

作　　者：胡若[1] 钱省三[1] 

机构地区：[1]上海理工大学管理学院,上海200093

出　　处：《计算机科学》2011年第7期66-69,共4页Computer Science

基　　金：国家自然基金项目(10771039);国家科技部创新基金项目(07C26216402072)资助

摘　　要：介绍了语义安全性的定义,并且从框架的对比来分析语义的安全性,以整合语义安全性、不可区分性和不可扩展安全性的框架,这种方式有助于研究不同攻击模型之间的关系。在对照的基础上对不可区分性的定义做了部分调整。研究了在新的框架下如何证明语义安全性和不可区分性两者间的对等性。简化了语义安全性与不可区分性之间的等价性证明。Our definition of semantic security was introduced,and we tried to integrate the frameworks of definitions of semantic security,non-distinguishability and non-expandability by analysing semantic security in comparison based framework.This facilitates the study of relations among these goals against different attack models,and we made a slightly modified definition of classifying based on comparison and then we studied our proof of equation of semantic security and classifying in the new framework.This way makes the proof of the equation of semantic security and non-distinguishability easier and more understandable.

关 键 词：信息安全 语义框架 信息空间 加密 对等性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]