|
|||||
|
|
| 加密解密过程的一种新的安全描述 | |
| 引用本文： | 刘益和.加密解密过程的一种新的安全描述[J].计算机应用,2004,24(11):28-29. |
| 作者姓名： | 刘益和 |
| 作者单位： | 四川大学,信息安全研究所,四川,成都,610064;内江师范学院,计算机与信息科学系,四川,内江,641112 |
| 基金项目： | 国家 97 3资助项目 (1 9990 3 580 1 )，四川省教育厅自然科学重点项目(2 0 0 3A1 6 1 ) |
| 摘 要： | 通过引入加密算法强度函数的概念，利用BLP模型的不读上，不写下思想，对加密解密过程进行了形式化描述，并给出了一个使得信息系统总是安全的加密条件，即加密解密是安全的新描述。 |
| 关 键 词： | BLP模型 加密解密 形式化描述 TCSEC标准 保密性 |
| 文章编号： | 1001-9081(2004)11-0028-02 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |