Advice for coordination

Authors:
Chris Hankin;Flemming Nielson;Hanne Riis Nielson;Fan Yang
Affiliations:
Department of Computing, Imperial College London;Department of Informatics, Technical University of Denmark;Department of Informatics, Technical University of Denmark;Department of Informatics, Technical University of Denmark
Venue:
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Year:
2008

Citing 14
Cited 3

KLAIM: A Kernel Language for Agents Interaction and Mobility

IEEE Transactions on Software Engineering
Computer security

Computer security
Enforceable security policies

ACM Transactions on Information and System Security (TISSEC)
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Process-Algebraic Foundations of Aspect-Oriented Programming

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Using Aspects to Design a Secure System

ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
IRM Enforcement of Java Stack Inspection

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
A theory of aspects

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A semantics for advice and dynamic join points in aspect-oriented programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimising aspectJ

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Uniform Application-level Access Control Enforcement of Organizationwide Policies

ACSAC '05 Proceedings of the 21st Annual Computer Security Applications Conference
Semantics of static pointcuts in aspectJ

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Analyzing security advice in functional aspect-oriented programming languages

Analyzing security advice in functional aspect-oriented programming languages
An overview of caesarj

Transactions on Aspect-Oriented Software Development I

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications

Theoretical Computer Science
Probabilistic aspects: checking security in an imperfect world

TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Recursive advice for coordination

COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before the actual data have been bound to the formal parameters. This necessitates dealing with open joinpoints - which is more demanding than the closed joinpoints in more traditional aspect oriented languages like AspectJ. The usefulness of our approach is demonstrated by mechanisms for discretionary and mandatory access control policies, as usually expressed by reference monitors, as well as mechanisms for logging actions.