检索结果-内蒙古大学图书馆

3rd International Conference on Risks and Security of Internet and Systems

作者： Kallel, Slim Mezini, Mira Charfi, Anis Jmaiel, Mohamed Software Technol Grp TU Darmstadt Germany SAP Res Darmstadt Germany ENI Sfax ReDCAD Lab Sfax Tunisia

ISBN: (纸本)9781424433094

Delegation is a powerful concept in access control systems, which allows users to assign all or part of their permissions to other users. Several types of delegation models for role-based access control have been proposed so far However, most existing works focus on the specification of delegation policies and there is very, little work on the monitoring and enforcement of such policies at runtime. In this paper, we use a security approach combining formal methods and aspect-oriented programming for specifying and enforcing delegation policies. In our approach, delegation models and their characteristics are specified formally, using TemporalZ, which is a combination of Z notation and temporal logic. Then, we verify, the formal specification to ensure consistency using theorem proving. Finally, we generate automatically a set of aspects in the aspect-oriented language ALPHA from the TemporalZ specifications. These aspects enforce the specified delegation policies at runtime.

关键词： Access control Delegation RBAC Formal methods aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Expressive and safe static reflection with MorphJ 08

Expressive and safe static reflection with MorphJ

引用

ACM SIGPLAN Conference on programming Language Design and Implementation

作者： Huang, Shan Shan Smaragdakis, Yannis Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Oregon Dept Comp & Informat Sci Eugene OR 97403 USA

ISBN: (纸本)9781595938602

Recently, language extensions have been proposed for Java and C# to support pattern-based reflective declaration. These extensions introduce a disciplined form of meta-programming and aspect-oriented programming to mainstream languages: They allow members of a class (i.e., fields and methods) to be declared by statically iterating over and pattern-matching on members of other classes. Such techniques, however, have been unable to safely express simple, but common, idioms such as declaring getter and setter methods for fields. In this paper, we present a mechanism that addresses the lack of expressiveness in past work without sacrificing safety. Our technique is based on the idea of nested patterns that elaborate the outer-most pattern with blocking or enabling conditions. We implemented this mechanism in a language, MorphJ. We demonstrate the expressiveness of MorphJ with real-world applications. In particular, the MorphJ reimplementation of DSTM2, a software transactional memory library, reduces 1,107 lines of Java reflection and bytecode engineering library calls to just 374 lines of MorphJ code. At the same time, the MorphJ solution is both high level and safer, as MorphJ can separately type check generic classes and catch errors early. We present and formalize the MorphJ type system, and offer a type-checking algorithm.

关键词： languages object-oriented programming structural abstraction class morphing aspect-oriented programming meta-programming language extensions

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Analysis for Embedded Real-Time Systems

Aspect-Oriented Analysis for Embedded Real-Time Systems

引用

International Conference on Advanced Software Engineering and Its Applications

作者： Zhang, Lichen Guangdong Univ Technol Fac Comp Sci & Technol Guangzhou 510090 Guangdong Peoples R China

ISBN: (纸本)9780769534329

aspect-oriented programming technology implements the software systems using crosscutting. aspect-orientation can be modeled by extending UML, and AOSD model profile can be designed in the meta model. The profile builds the aspect models from structural model, behavioral model, aspect and aspect weaving. Timing requirements could be separated from the system according the separation of concerns techniques, expressed as a time-aspect independence of the system, the real-time systems could be modeled from the static structure, dynamic behaviors and weaving of the time-aspect

关键词： embedded real time system Weaving Software systems real-time systems aspect dynamic structural analysis aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

New aspectJ Pointcuts for Integer Overflow and Underflow Detection

引用

INFORMATION SECURITY JOURNAL 2008年第5-6期17卷 278-287页

作者： Alhadidi, D. Debbabi, M. Bhattacharya, P. Concordia Univ CSL Concordia Inst Informat Syst Engn Montreal PQ H3G 1M8 Canada

aspect-oriented programming (AOP) appears to be a promising paradigm for software security hardening. Using AOP, security experts can be responsible for coding security properties, and developers can concentrate on the basic functionality of the program. aspectJ extends the Java programming language to implement crosscutting concerns modularly in general. In this paper, we have extended aspectJ with new pointcuts in order to detect integer overflows and underflows in Java. Integer overflows and underflows in Java occur silently without throwing an exception. A malicious user can exploit them to produce a security breach. Hence, we implement new pointcuts: addition, multiplication, and subtraction that allow to write advices around integer arithmetic operations to detect integer overflow and underflow and consequently prevent considerable number of security breaches.

关键词： aspectJ aspect-oriented programming integer overflow integer underflow join points pointcuts

来源：评论

学校读者我要写书评

暂无评论

Application-specific models and pointcuts using a logic metalanguage

Application-specific models and pointcuts using a logic meta...

引用

14th International Smalltalk Conference

作者： Brichau, Johan Kellens, Andy Gybels, Kris Mens, Kim Hirschfeld, Robert D'Hondt, Theo Univ Sci & Technol Lille Lille France Vrije Univ Brussel Brussels Belgium Hasso Plattner Inst Potsdam Germany Catholic Univ Louvain B-3000 Louvain Belgium

ISBN: (纸本)9783540718352

In contemporary aspect-oriented languages, pointcuts are usually specified directly in terms of the structure of the source code. The definition of such low-level pointcuts requires aspect developers to have a profound understanding of the entire application's implementation and often leads to complex, fragile and hard-to-maintain pointcut definitions. To resolve these issues, we present an aspect-oriented programming system that features a logic-based pointcut language that is open such that it can be extended with application-specific pointcut predicates. These predicates define an application-specific model that serves as a contract that base program developers provide and aspect developers can depend upon. As a result, pointcuts can be specified in terms of this more high-level model of the application which confines all intricate implementation details that are otherwise exposed in the pointcut definitions themselves. (c) 2007 Elsevier Ltd. All rights reserved.

关键词： aspect-oriented programming logic metaprogramming pointcut languages

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented In-lined Reference Monitors

Aspect-Oriented In-lined Reference Monitors

引用

3rd ACM SIGPLAN Workshop on programming Languages and Analysis for Security

作者： Hamlen, Kevin W. Jones, Micah Univ Texas Dallas Dallas TX 75230 USA

ISBN: (纸本)9781595939364

An aspect-oriented. declarative, security policy specification language is presented, for enforcement by In-lined Reference Monitors. The semantics of the language establishes a formal connection between aspect-oriented programming and In-lined Reference Monitoring wherein policy specifications denote aspect-oriented security automata-security automata whose edge labels are encoded as pointcut expressions. The prototype language implementation enforces these security policies by automatically rewriting Java bytecode programs so as to detect and prevent policy violations at runtime.

关键词： aspect-oriented programming In-lined Reference Monitors Object-oriented programming Runtime Verification security automata

来源：评论

学校读者我要写书评

暂无评论

Aw2SOA: An aspect-oriented awareness service for distributed groupware

Aw2SOA: An aspect-oriented awareness service for distributed...

引用

12th International Conference on Computer Supported Cooperative Work in Design

作者： Bastos, Adriano Oei, Michel Menezes, Leandro Maciel, Rita Suzana P. David, Jose Maria N. Faculdade Ruy Barbosa Brazil

ISBN: (纸本)9781424416509

This paper aims to present an awareness service, named Aw2SOA, which was developed in order to support distributed groupware design in WGWSOA environment. It is a middleware specific service which was implemented according to SOA principles and aspect-oriented concepts. In groupware literature, service-oriented approach is suggested. aiming to solve reuse and evolution requirements. However, awareness support is fulfilled by similar functionalities implemented in different modules. As a result, activities related to the maintenance and evolution of this matter cannot be considered as easy tasks. WGWSOA (Web-based Groupware Service-oriented Architecture) is based on middleware services for collaborative applications.

关键词： awareness SOA groupware middleware services aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Celadon: A Change Impact Analysis Tool for aspect-oriented Programs 08

Celadon: A Change Impact Analysis Tool for Aspect-Oriented P...

引用

30th International Conference on Software Engineering

作者： Zhang, Sai Gu, Zhongxian Lin, Yu Zhao, Jianjun Shanghai Jiao Tong Univ Sch Software Shanghai 200240 Peoples R China

ISBN: (纸本)9781605580791

To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis for aspectJ programs. Celadon is implemented in the context of the Eclipse environment and designed as a plugin. It analyzes the source code of two aspectJ software versions, and decomposes their differences into a set of atomic changes together with their dependence relationships. The analysis result is reported in terms of impacted program parts and affected tests. For each affected test, Celadon also identifies a subset of affecting changes that are responsible for the test's behavior change. In particular, as one of its applications, Celadon helps facilitate fault localization by isolating failure-inducing changes for one specific affected test from other irrelevant changes.

关键词： aspect-oriented programming change impact analysis

来源：评论

学校读者我要写书评

暂无评论

Towards Reusable Components with aspects: An Empirical Study on Modularity and Obliviousness 08

Towards Reusable Components with Aspects: An Empirical Study...

引用

30th International Conference on Software Engineering

作者： Hoffman, Kevin Eugster, Patrick Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9781605580791

The potential of aspect-oriented programming to represent cross-cutting concerns as reusable components has yet to be fully realized. Indeed, authors have detailed significant challenges in creating reusable aspect component libraries. Proposed solutions include restricting the power of aspects upfront, inferring concern interaction, and shaping base code to conform to abstract design rules. Another proposed strategy is to reduce obliviousness in return for increased modularity by extending aspectJ with explicit join points (EJPs). This paper presents the results of an empirical case study that aides in the understanding of the tradeoffs between obliviousness and modularity. We present a refactoring of the exception handling concern for three real-life Java applications to use EJPs instead of oblivious aspects. The empirical differences between this version and an equivalent oblivious version are analyzed. Finally, we present guiding principles on how to strike a favorable balance between obliviousness and modularity.

关键词： aspect-oriented programming case study modularity

来源：评论

学校读者我要写书评

暂无评论

A multiparadigm study of crosscutting modularity in design patterns 46th

引用

46th International Conference on Tools in Europe

作者： Kuhlemann, Martin Apel, Sven Rosenmueller, Marko Lopez-Herrejon, Roberto Univ Magdeburg Sch Comp Sci D-39106 Magdeburg Germany Univ Passau Dept Informat & Math Passau Germany Univ Oxford Comp Lab Oxford OX1 2JD England

ISBN: (纸本)9783540698234

Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed at improving modularity of their implementations. A series of recent studies has focused on aspect-oriented programming while other crosscutting techniques such as collaboration-based designs have remained unexplored. In this paper, we address this limitation by presenting a qualitative case study based on the Gang-of-Four design patterns comparing and contrasting mechanisms of representative languages of collaboration-based designs (Jak) and aspect-oriented programming (aspectJ). Our work yields guidelines for using both paradigms when implementing design patterns exploiting their relative strengths.

关键词： aspect-oriented programming collaboration-based design design patterns crosscutting modularity

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：