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 条
  • [1] [Anonymous], P 16 INT C SOFTW ENG
  • [2] [Anonymous], FUN HAS JUST BEGUN
  • [3] [Anonymous], LANGUAGE SPECIFYING
  • [4] [Anonymous], ELECT NOTES THEORETI
  • [5] [Anonymous], THESIS
  • [6] [Anonymous], ASPECT ORIENTED SOFT
  • [7] [Anonymous], THESIS ADVISER MORRI
  • [8] [Anonymous], P 1 WORKSH ASP OR MI
  • [9] [Anonymous], P 3 INT C ASP OR SOF
  • [10] [Anonymous], P 20 ANN ACM SIGPLAN