Predictive access control for distributed computation

被引:2
作者
Yang, Fan [1 ]
Hankin, Chris [2 ,3 ]
Nielson, Flemming [1 ]
Nielson, Hanne Riis [1 ]
机构
[1] Tech Univ Denmark, DTU Informat, DK-2800 Lyngby, Denmark
[2] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London, England
[3] Univ London Imperial Coll Sci Technol & Med, Inst Secur Sci & Technol, London, England
基金
英国工程与自然科学研究理事会;
关键词
Coordination languages; Security policies; Aspect-oriented programming; Program analysis; Tuple spaces; COORDINATION; SECURITY; LANGUAGE; SYSTEMS; KERNEL; LOGIC;
D O I
10.1016/j.scico.2012.05.008
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce various types of security policies, in particular predictive access control policies - policies based on the future behavior of a program. A novel feature of our approach is that we can define policies concerning secondary use of data. (C) 2012 Elsevier B.V. All rights reserved.
引用
收藏
页码:1264 / 1277
页数:14
相关论文
共 68 条
[61]  
Samarati P., 2000, INT SCH FDN SECUR AN, P137, DOI DOI 10.1007/3-540-45608-23
[62]  
Schneider F. B., 2000, ACM Transactions on Information and Systems Security, V3, P30, DOI 10.1145/353323.353382
[63]  
Schneider FB, 2001, LECT NOTES COMPUT SC, V2000, P86
[64]  
Tanter É, 2006, LECT NOTES COMPUT SC, V4025, P316
[65]  
Terepeta Michal, 2012, Coordination Models and Languages. Proceedings 14th International Conference, COORDINATION 2012, P137, DOI 10.1007/978-3-642-30829-1_10
[66]  
Truyen E., 2008, Proceedings of the 7th International Conference on Aspect-Oriented Software Development, P120, DOI DOI 10.1145/1353482.1353497
[67]   Coordinating processes with secure spaces [J].
Vitek, J ;
Bryce, C ;
Oriol, M .
SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (1-2) :163-193
[68]  
Yang F, 2011, LECT NOTES COMPUT SC, V6721, P202, DOI 10.1007/978-3-642-21464-6_14