基于类型的分布式访问控制

16th IEEE Computer Security Foundations Workshop, 2003. Proceedings. Pub Date : 2003-07-15 DOI:10.1109/CSFW.2003.1212712

Tom Chothia, Dominic Duggan, J. Vitek

{"title":"基于类型的分布式访问控制","authors":"Tom Chothia, Dominic Duggan, J. Vitek","doi":"10.1109/CSFW.2003.1212712","DOIUrl":null,"url":null,"abstract":"The key-based decentralized label model (KDLM) is a type system that combines a weak form of information flow control, termed distributed access control in the article, with typed cryptographic operations. The motivation is to have a type system that ensures access control while giving the application the responsibility to secure network communications, and to do this safely. KDLM introduces the notion of declassification certificates to support the declassification of encrypted data.","PeriodicalId":283743,"journal":{"name":"16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"43","resultStr":"{\"title\":\"Type-based distributed access control\",\"authors\":\"Tom Chothia, Dominic Duggan, J. Vitek\",\"doi\":\"10.1109/CSFW.2003.1212712\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The key-based decentralized label model (KDLM) is a type system that combines a weak form of information flow control, termed distributed access control in the article, with typed cryptographic operations. The motivation is to have a type system that ensures access control while giving the application the responsibility to secure network communications, and to do this safely. KDLM introduces the notion of declassification certificates to support the declassification of encrypted data.\",\"PeriodicalId\":283743,\"journal\":{\"name\":\"16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-07-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"43\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CSFW.2003.1212712\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CSFW.2003.1212712","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 43

摘要

基于密钥的分散标签模型(KDLM)是一种类型系统，它将信息流控制的一种弱形式(文中称为分布式访问控制)与类型化加密操作结合在一起。其动机是要有一个类型系统来确保访问控制，同时赋予应用程序保护网络通信的责任，并且要安全地这样做。KDLM引入了解密证书的概念，以支持加密数据的解密。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Type-based distributed access control

The key-based decentralized label model (KDLM) is a type system that combines a weak form of information flow control, termed distributed access control in the article, with typed cryptographic operations. The motivation is to have a type system that ensures access control while giving the application the responsibility to secure network communications, and to do this safely. KDLM introduces the notion of declassification certificates to support the declassification of encrypted data.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.

自引率

0.00%

发文量