发布求助
文献互助 智能选刊 最新文献

Proceedings New Security Paradigms Workshop最新文献

筛选
英文 中文
What is a Secret and What does that have to do with Computer Security? 什么是秘密?秘密与计算机安全有什么关系?
Proceedings New Security Paradigms Workshop Pub Date : 1994-08-03 DOI: 10.1109/NSPW.1994.656234
R. Nelson
{"title":"What is a Secret and What does that have to do with Computer Security?","authors":"R. Nelson","doi":"10.1109/NSPW.1994.656234","DOIUrl":"https://doi.org/10.1109/NSPW.1994.656234","url":null,"abstract":"This paper questions some of the basic assumptions of computer security in the context of keeping secrets, and it finds some major discrepancies. It then proposes a new paradigm for functional security in computer systems.\u0000The first conclusion of the paper is that secrecy and security cannot be expressed both algorithmically and accurately. The second conclusion of the paper is that functional security models, which look at the application software as well as the data, can be very useful. Use of more realistic models involves a more complex definition of secure systems, but it may reduce the conflict between security and function and may result in more effective secure systems.","PeriodicalId":265057,"journal":{"name":"Proceedings New Security Paradigms Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130206164","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}
引用次数: 13
New Email Security Infrastructure 新的电子邮件保安基础设施
Proceedings New Security Paradigms Workshop Pub Date : 1994-08-03 DOI: 10.1109/NSPW.1994.656218
M. Ferris
{"title":"New Email Security Infrastructure","authors":"M. Ferris","doi":"10.1109/NSPW.1994.656218","DOIUrl":"https://doi.org/10.1109/NSPW.1994.656218","url":null,"abstract":"This paper addresses the problem of analysing an information system for security flaws or vulnerabilities in a way that is analogous to the analysis of a safety-critical system. In particular, instead of adopting the approach that security is a property that must be proved to hold (fault avoidance), it shows how to analyse a system for possible security failures so that fault prevention, tolerance, recovery or even fault acceptance techniques can be chosen where appropriate.","PeriodicalId":265057,"journal":{"name":"Proceedings New Security Paradigms Workshop","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124139673","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}
引用次数: 8
Versatile Integrity and Security Environment (VISE) for Computer Systems 计算机系统的多功能完整性和安全环境(VISE)
Proceedings New Security Paradigms Workshop Pub Date : 1994-08-03 DOI: 10.1109/NSPW.1994.656252
Charles G. Limoges, R. Nelson, J. Heimann, David S. Becker
{"title":"Versatile Integrity and Security Environment (VISE) for Computer Systems","authors":"Charles G. Limoges, R. Nelson, J. Heimann, David S. Becker","doi":"10.1109/NSPW.1994.656252","DOIUrl":"https://doi.org/10.1109/NSPW.1994.656252","url":null,"abstract":"We have developed a model of security and integrity for computer systems, the Versatile Integrity and Security Environment (VISE), which describes the basic functionality of these systems and which addresses data confidentiality and correctness of processing. It has yielded significant insight into secure application-oriented systems and is applicable to both Department of Defense and commercial requirements. Based on our model, we have developed an implementation framework which provides for enforcement of flexible access controls that are easily defined and tailored to meet a variety of requirements. This paper examines the integrity problem, discusses the general ideas behind VISE, illustrates the requirements of the framework, and demonstrates how the framework meets a general need for secure, high-integrity processing systems.","PeriodicalId":265057,"journal":{"name":"Proceedings New Security Paradigms Workshop","volume":"14 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132748047","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}
引用次数: 9
Formal Semantics of Confidentiality in Multilevel Logic Databases 多层逻辑数据库中机密性的形式语义
Proceedings New Security Paradigms Workshop Pub Date : 1994-08-03 DOI: 10.1109/NSPW.1994.656232
Adrian Spalka
{"title":"Formal Semantics of Confidentiality in Multilevel Logic Databases","authors":"Adrian Spalka","doi":"10.1109/NSPW.1994.656232","DOIUrl":"https://doi.org/10.1109/NSPW.1994.656232","url":null,"abstract":"This paper presents a new formal approach to the definition of confidentiality in multilevel logic databases. We regard a multilevel secure database as an extension of an open database which preserves the database-semantics. We give four definitions of confidentiality which capture various degrees of information on secrets. Three of them are relevant in the presence of the Closed World Assumption. We present their formalisation within standard predicate logic and their interpretation for multilevel databases. From this viewpoint, the definitions lead to a formal semantics of the Simple-Security-Property and the *-property. In particular, we demonstrate that the traditional interpretation of these properties represents just a special case of our formalism.","PeriodicalId":265057,"journal":{"name":"Proceedings New Security Paradigms Workshop","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131560222","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
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书