1987年第8届标准普尔:美国加利福尼亚州奥克兰
-
1987年IEEE安全与隐私研讨会论文集,1987年4月27日至29日,美国加利福尼亚州奥克兰。 IEEE计算机学会 1987 ,国际标准图书编号 0-8186-0771-8 保罗·T·卡明斯 , D.A.Fullam博士 , M.J.戈尔茨坦 , M.J.戈塞林 , 杰弗里·皮奇奥托 , 约翰·P·L·伍德沃德 , J.韦恩 :
比较模式工作站:通过原型的结果。 2-12 杰弗里·皮奇奥托 :
有效审计子系统的设计。 13-22 约翰·P·L·伍德沃德 :
利用敏感度标签的双重性质。 23-31 保罗·A·卡格 :
限制任意特洛伊木马的破坏潜力。 32-37 史蒂夫·怀特 , 利亚姆·科默福德 :
ABYSS:软件保护的可信体系结构。 38-51 史蒂夫·韦恩加特 :
µABYSS系统的物理安全。 52-59 乔纳森·米伦 :
隐蔽通道容量。 60-66 J.古特曼 :
信息流和不变性。 67-73 蔡智仁 , 维吉尔·D·格里戈 , C.塞卡·钱德塞卡兰 :
一种识别源代码中隐蔽存储信道的形式化方法。 74-87 路易丝·莫瑟 :
图同态与安全计算机系统的设计。 88-96 J.C.威廉姆斯 , 乔治·W·迪诺尔特 :
多级安全分布式系统的图论公式:概述。 97-105 威廉·贝维尔 , 沃伦·亨特(Warren A.Hunt Jr.)。 , 威廉·D·杨 :
走向验证执行环境。 106-115 西蒙·福利 :
信息流的普遍理论。 116-122 麦克莱恩 :
关于安全模型的推理。 123-133 理查德·A·凯默勒 :
使用形式验证技术分析加密协议。 134-139 威廉·D·杨 , 麦克休 :
可信规范到实现映射的编码。 140-149 格伦·麦克尤恩 , V.W.W.Poon先生 , 贾妮斯·格拉斯哥 :
基于操作员网络的多级安全模型。 150-160 达里尔·麦卡洛 :
多级安全和连接属性规范。 161-166 大卫·P·安德森 , P.文卡特·兰根 :
大型分布式系统中安全通信的基础。 167-173 徳博拉·埃斯特林 , 基因Tsudik :
组织间网络安全签证计划。 174-183 大卫·D·克拉克 , D.R.威尔逊 :
商用和军用计算机安全政策的比较。 184-195 塞利姆·G·阿克尔 , 多萝西·E·丹尼 :
检查分类约束的一致性和完整性。 196-201 宗安素 , 古特金·佐索格鲁 :
多级关系数据库系统中的数据依赖和推理控制。 202-211 凯瑟琳·梅多斯 :
完整性锁体系结构及其在消息系统中的应用:减少隐蔽通道。 212-219 多萝西·E·丹尼 , 特蕾莎·F·伦特 , 罗杰·谢尔 , 马克·赫克曼 , 威廉·肖克利 :
多级关系数据模型。 220-234 托马斯·贝尔森 , 特蕾莎·F·伦特 :
基于知识的系统的多级安全。 235-242