加密解密过程的一种新的安全描述_最终稿).pdfVIP

加密解密过程的一种新的安全描述 刘益和 1,2 (1. 四川大学 信息安全研究所 成都 610064 ； 2. 内江师范学院 计算机与信息科学系 内江 641112) （liu_yihe@163.com ） 摘 要：本文通过引入加密算法强度函数的概念，利用BLP 模型的不读上，不写下思想， 对加密解密过程进行了形式化描述，并给出了一个使得信息系统总是安全的加密条件，既 给出了一个加密解密是安全的新描述。 关键词：BLP 模型；加密解密；形式化描述；TCSEC 标准；保密性 中图分类号：TP309 A New Safe Description about Encryption and Decryption LIU yi-he1,2 （1.Information Security Graduate School, Sichuan University Chengdu Sichuan 610064,China； 2.Department of Computer and Information Science, Neijiang Teachers College Neijiang Sichuan 641112，China) Abstract : A information system about encryption and decryption is formally described in the paper, with the ideals which can’t read over and can’t write below about BLP model ,and with news concept of encryption intension function .A encryption condition is given out，which makes the information system be safe at all time ，and the same as a new secure description about encryption and decryption is given. Keywords: BLP model, encryption and decryption, formal description , TCSEC criteria, confidentiality 1、 引言 2 、基本概念 人们往往通过各种手段来确保信息的 首先给出大家熟知的一些概念。 安全，对信息进行加密、解密处理就是其 主体和客体：计算机中存在大量涉及安 中最常用的手段之一，到现在为止，对加 全的操作。凡实施操作的称为主体，用 密/解密算法的性能，一般使用数据的复杂 s ,s ,…,s …,或 s 表示，其集合用 S 表示；被 1 2 i, 性、处理的复杂性和存储的复杂性等几个 操作的对象称为客体，用 o ,o ,…,o ,…,或 o 1 2 j 方面来衡量；一个算法如果破译它的代价 表示，其集合用 O 表示。 大于解密数据的价值或破译算法所需要的 安全策略：由一组规则组成，规定进行 时间比加密数据保密时间更长或用单密钥 存取控制应当遵循的约束条件。 解密的数据量比破译算法需要的数据量少