权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Aspects of Security

安全方面

基本信息

批准号：
EP/H000321/1
负责人：
Chris Hankin
金额：
$ 4.58万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2009
资助国家：
英国
起止时间：
2009 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FH000321%2F1
关键词：
Aspects Security

项目摘要

Good practice requires that security and other non-functional requirements are factored into a system design from the very start. In reality, the issues of legacy code and changing requirements due to changes in the regulatory or legislative framework require a more flexible approach. Security policies often have to be retro-fitted. The separation of concerns supported by aspect-oriented programming allows such retro-fitting without having to completely re-engineer the system.This proposal is for a series of short visits to the Danish Technical University to further advance joint work using aspects to enforce security policies on distributed, mobile systems.One main result from our past work is the integration of aspects into a coordination language that facilitates distribution of data, mobility of code, and the ability to work with dynamically evolving, open systems. We have applied this language to a case study based on electronic patient records for a small nursing home in Australia. We have shown how to encode the access control policies of this example and defined a new logic for verifying the correctness of such policies. The main outcomes from the planned series of visits are: a more sophisticated approach to aspect-oriented programming which includes dynamic program analysis; automation of the logic for reasoning about policies; further case studies; and extensions to the language.

良好的实践要求从一开始就将安全性和其他非功能性需求考虑到系统设计中。在现实中，遗留代码和由于监管或立法框架的变化而不断变化的要求的问题需要更灵活的方法。安全政策往往需要更新。由面向方面编程支持的关注点分离允许这样的改造，而不必完全重新设计系统。这个建议是对丹麦技术大学的一系列短期访问，以进一步推进使用方面在分布式移动的系统上执行安全策略的联合工作。我们过去工作的一个主要结果是将方面集成到一个协调语言中，以促进数据的分发，代码的移动性，以及与动态发展的开放系统一起工作的能力。我们已经应用这种语言的案例研究的基础上，在澳大利亚的一个小疗养院的电子病历。我们已经展示了如何对这个示例的访问控制策略进行编码，并定义了一个新的逻辑来验证这些策略的正确性。计划中的一系列访问的主要成果是：采用更复杂的面向方面的编程方法，包括动态程序分析;政策推理逻辑的自动化;进一步的案例研究;以及语言的扩展。