Type-based distributed access control

被引：8
作者：
Chothia, T [1 ]
Duggan, D [1 ]
Vitek, J [1 ]
机构：
[1] Stevens Inst Technol, Dept Comp Sci, Hoboken, NJ 07030 USA
来源：
16TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/CSFW.2003.1212712
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：170 / 184
页数：15
相关论文
共 39 条
[1]   Secure communications processing for distributed languages [J].
Abadi, M ;
Fournet, C ;
Gonthier, G .
PROCEEDINGS OF THE 1999 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 1999, :74-88
[2]   A calculus for cryptographic protocols: The spi calculus [J].
Abadi, M ;
Gordon, AD .
INFORMATION AND COMPUTATION, 1999, 148 (01) :1-70
[3]  
Abadi M., 1997, Theoretical Aspects of Computer Software. Third International Symposium, TACS '97. Proceedings, P611, DOI 10.1007/BFb0014571
[4]  
ABADI M, 2000, P ACM S PRINC PROGR
[5]  
ABADI M, 2002, P POPL 02, P33
[6]  
ABADI M, 117 SRC
[7]  
ABADI M, 83 SRC
[8]  
ABADI M, 1994, ACM T COMPUT SYST, V12, P3
[9]  
Abadi M., 2003, P 10 ANN NETW DISTR
[10]  
[Anonymous], 1998, P 25 ACM SIGPLAN SIG, DOI DOI 10.1145/268946.268976
1234