[1992] Proceedings The Computer Security Foundations Workshop V最新文献

A classical automata approach to noninterference type problems 无干扰型问题的经典自动机方法

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236792

I. S. Moskowitz, O. Costich

引用次数: 17

An algebraic approach to non-interference (computer security) 不干扰的代数方法(计算机安全)

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236789

Sylvan Pinsky

引用次数: 1

An analysis of some delegation protocols for distributed systems 分布式系统委托协议的分析

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236784

Claudio Calvelli, V. Varadharajan

引用次数: 13

Partial belief and probabilistic reasoning in the analysis of secure protocols 安全协议分析中的部分信念与概率推理

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236785

E. Campbell, R. Safavi-Naini, P. Pleasants

引用次数: 30

Realisation of the Bell-LaPadula security policy in an OSI-distributed system using asymmetric and symmetric cryptographic algorithms 使用非对称和对称密码算法实现osi分布式系统中的Bell-LaPadula安全策略

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236778

J. Verschuren, R. Govaerts, J. Vandewalle

{"title":"Realisation of the Bell-LaPadula security policy in an OSI-distributed system using asymmetric and symmetric cryptographic algorithms","authors":"J. Verschuren, R. Govaerts, J. Vandewalle","doi":"10.1109/CSFW.1992.236778","DOIUrl":"https://doi.org/10.1109/CSFW.1992.236778","url":null,"abstract":"This article discusses a distributed implementation of the Bell-LaPadula security policy model. Implementation of a confidentiality service in the OSIRM is not sufficient for enforcing the Bell-LaPadula model. Also integrity services are necessary. In this article both public key systems (PKSs) as well as symmetric cryptographic systems are considered for the realisation of these security services. By concentrating on the key distribution, no cryptographic algorithms or protocols are excluded on beforehand. It is investigated how key-distributions can be found resulting in a minimum number of keys. Application of PKSs results in a key distribution which requires less keys than key-distributions going with the use of a symmetric system. Moreover, practical or viable key-distributions going with symmetric algorithms turn out to be more sensitive to the disclosure of a secret key than key-distributions going with PKSs. A combination of a PKS and a symmetric system is indicated which does not suffer from the disadvantages going with the use of symmetric systems alone.<<ETX>>","PeriodicalId":350578,"journal":{"name":"[1992] Proceedings The Computer Security Foundations Workshop V","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127421446","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

The expressive power of multi-parent creation in monotonic access control models 单调访问控制模型中多父创建的表达能力

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236780

P. Ammann, R. Lipton, R. Sandhu

引用次数: 20

Attribute support for inter-domain use 支持域间使用的属性

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236777

M. Zurko

引用次数: 2

Foundations of intrusion detection (computer security) 入侵检测基础(计算机安全)

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236783

P. Helman, G. Liepins, Wynette Richards

引用次数: 22

Causal security (computer systems) 因果安全(计算机系统)

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236788

M. Mowbray

引用次数: 1

A framework for composition of security models 用于组合安全模型的框架

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI: 10.1109/CSFW.1992.236779

J. Landauer, T. Redmond

引用次数: 2