抽象安全性质

周伟

0
0
浏览
下载

摘要
关键词
基金信息
论文图表
同行评议
相关论文
评论

抽象安全性质

首发时间：2004-03-11

周伟 ¹

1、信息工程大学信息工程学院

摘要：在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系，定义了复合不变安全性质和可构造安全性质，证明了在安全性质集上复合不变性质以及可构造性质的存在性。在安全性质集合上证明了安全性质的“木桶原理”，并将所谓绝对安全性质与平凡性质联系起来，证明绝对安全性质是一类平凡性质。

关键词：进程代数算子不动点复合不变性质可构造性质绝对安全性质

For information in English, please click here

Abstract Security Property

ZHOU Wei ¹

1、Information Engineering Institute, Information Engineering Universit

Abstract：The thesis of this paper is on the abstract theory of security properties. Based on the properties of process algebra operators, this paper investigates the abstract security properties, the partial order on the set of the abstract security properties. Compositional invariant security properties and constructive security properties are defined, and proved to exist. It is also proved that security properties are degraded under compositional operators. Absolute security property is formally defined and is associated with trivial security property. The above results are adapted in the context of process algebra.

Keywords： process algebra, operator, fixed-point, compositional invariant property, constructive property, absolute security

基金：

1. 863（863-104-06-1）

论文图表：

引用

导出参考文献

.txt

.ris

.doc

周伟. 抽象安全性质[EB/OL]. 北京：中国科技论文在线 [2004-03-11]. https://www.paper.edu.cn/releasepaper/content/200403-82.

No.4424995107897039****

同行评议

共计0人参与

全部评论

0/1000

论文编号	200403-82
论文题目	抽象安全性质
文献类型
收录期刊	上传封面中文期刊英文期刊期刊名称（中文）期刊名称（英文）年，卷（）上传封面中文专著英文专著书名（中文）书名（英文）出版地出版社出版年上传封面中文译著英文译著书名（中文）书名（英文）出版地出版社出版年上传封面中文论文集英文论文集编者.论文集名称（中文） [c]. 出版地出版社出版年， - 编者.论文集名称（英文） [c]. 出版地出版社出版年，- 上传封面中文文献英文文献期刊名称（中文）期刊名称（英文）日期-- 在线地址http:// 上传封面中文文献英文文献文题（中文）文题（英文）出版地出版社,出版日期-- 上传封面中文文献英文文献文题（中文）文题（英文）出版地出版社,出版日期--
英文作者写法：中外文作者均姓前名后，姓大写，名的第一个字母大写，姓全称写出，名可只写第一个字母，其后不加实心圆点“.”, 作者之间用逗号“，”分隔，最后为实心圆点“.”, 示例1：原姓名写法：Albert Einstein,编入参考文献时写法：Einstein A. 示例2：原姓名写法：李时珍；编入参考文献时写法：LI S Z. 示例3：YELLAND R L,JONES S C,EASTON K S,et al.