1990年第一届ESORICS:法国图卢兹
ESORICS 90:第一届欧洲计算机安全研究研讨会,1990年10月24日至26日,法国图卢兹。 AFCET公司 1990
数据库I
特蕾莎·F·伦特 , Donovan Xieh先生 :
SeaView安全数据库系统:进度报告。 ESORICS公司 1990 : 3-13 基沃马斯·亚兹达尼安 :
关系数据库粒度。 ESORICS公司 1990 : 15-20
数据库II
乌多·凯尔特 :
分布式结构化面向对象数据库系统的面向组的自由访问控制。 ESORICS公司 1990 : 23-31 约阿希姆·比斯库普 :
数据库安全通用框架。 ESORICS公司 1990 : 35-41
安全系统I
R.W.琼斯 :
访问控制的一般机制:它与安全系统概念的关系。 ESORICS公司 1990 : 45-50 约格·凯撒 :
支持系统可靠性和安全性的面向对象体系结构。 ESORICS公司 1990 : 51-60 佐兰·萨维奇 , 米哈伊洛·科莫卡尔 :
IBM PC环境中的安全内核设计与实现。 ESORICS公司 1990 : 61-68
安全系统II
格哈德·霍夫曼 , 斯蒂芬·莱切纳 , 马提亚斯·勒克莱尔 , 费迪南德·斯坦纳 :
分布式系统中的身份验证和访问控制。 ESORICS公司 1990 : 71-84 伊恩·阿基尔迪斯 , 格伦·本森 :
局域网的安全重分类程序。 ESORICS公司 1990 : 85-95 劳伦特·布莱恩 , 伊夫·德斯瓦特 :
开放式分布式系统的入侵容忍安全服务器。 ESORICS公司 1990 : 97-104 E.斯图尔特·李 , 布莱恩·汤姆森 , 彼得·博尔顿 , 迈克尔·斯图姆 :
可信网络的体系结构。 ESORICS公司 1990 : 105-113
型号I
布莱恩·汤姆森 , E.斯图尔特·李 , 彼得·博尔顿 , 迈克尔·斯图姆 , 大卫·M·刘易斯 :
在安全网络建模中使用可重复性。 ESORICS公司 1990 : 117-123 安娜斯·塔拉 , 克里斯蒂安·惠特马 :
CHIMÆRA:一种网络安全模型。 ESORICS公司 1990 : 127-132
型号II
油炸杯 :
计算机安全推理的认识逻辑和道义逻辑。 ESORICS公司 1990 : 135-145 科林·奥哈洛兰 :
信息流微积分。 ESORICS公司 1990 : 147-159
密码学
多米尼克·德瓦利夫 , 珍妮·雅克·奎斯夸特 :
更好的计算机网络登录协议。 ESORICS公司 1990 : 163-172 马克·吉拉尔 , 让-克洛德·派尔斯 :
一种基于身份的方案,提供零知识认证和认证密钥交换。 ESORICS公司 1990 : 173-184 雅克·帕塔林 :
基于D.E.S.方案的伪随机排列。 ESORICS公司 1990 : 185-187
安全软件工程
欧内斯特·S·霍金 , 约翰·亚历山大·麦克德米德 :
面向安全应用程序的面向对象开发环境。 ESORICS公司 1990 : 191-200 吉尔·兰德尔 :
分布式安全系统形式化改进的案例研究。 ESORICS公司 1990 : 201-208
安全验证和评估
皮埃尔·比伯 :
密码协议的认知验证。 ESORICS公司 1990 : 211-221 埃里克·德博特 , 西尔文·马丁 :
“Minerve安全”方法论——软件安全评估过程。 子宫内膜异位症 1990 : 223-231
受邀演讲
D.J.Bailey(D.J.贝利) :
管理计算机安全:研究如何帮助? ESORICS公司 1990 : 235-241 P.凯西 , A.布鲁尔 , D.赫尔森 , J.-F.帕考特 , F.塔尔 , 尤·范·埃森 :
IT系统和产品安全评估的协调标准。 ESORICS公司 1990 : 243-249
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)