λ-SAOP: A security AOP calculus

Computer Journal

Volumn 52, Issue 7, 2009, Pages 824-849

  Alhadidi, D ^a   Belblidia, N ^a   Debbabi, M ^a   Bhattacharya, P ^a  

^a Concordia University ^*  (Canada)

Author keywords

Aspect oriented programming; Calculus; Security

Indexed keywords

ASPECT-J; ASPECT-ORIENTED; ASPECT-ORIENTED PROGRAMMING; ASPECT-ORIENTED PROGRAMMING LANGUAGES; INFERENCE ALGORITHM; JOIN POINT; POINT CUT; SECURITY HARDENING; STATIC TYPING; TYPE INFERENCES;

COMPUTER SYSTEMS PROGRAMMING; INFERENCE ENGINES; NETWORK SECURITY; SEMANTICS; WEAVING;

CALCULATIONS;

EID: 77649325125     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxn065     Document Type: Article

References (37)

1. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J. and Irwin, J. (1997) Aspect-Oriented Programming. In Akşit, M. and Matsuoka, S. (eds), Proc. European Conf. Object-Oriented Programming. Springer, Finland.
2. Laddad, R. (2003) AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications.
3. Mahrenholz, D., Spinczyk, O., Gal, A. and Schröder Preikschat, W. (2002) An Aspect-Oriented Implementation of Interrupt Synchronization in the PURE Operating System Family. The 5th Workshop on Object Orientation and Operating Systems-ECOOP, Malaga, Spain.
4. Soares, S., Laureano, E. and Borba, P. (2002) Implementing Distribution and Persistence Aspects with AspectJ. OOPSLA '02: Proc. 17th ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications, Seattle, WA, USA, pp. 174-190. ACM Press.
5. Alhadidi, D., Belblidia, N. and Debbabi, M. (2006) Security Crosscutting Concerns and AspectJ. The Int. Conf. Privacy, Security and Trust, PST'2006, Markham, Ontario, Canada, October 30-November 1. McGraw-Hill.
6. Ossher, H. and Tarr, P. (2000) Multi-dimensional Separation of Concerns and the Hyperspace Approach. Proc. Symp. Software Architectures and Component Technology: The State of the Art in Software Development, Enschede, The Netherlands, January 20-21. Kluwer.
7. Orleans, D. and Lieberherr, K. (2001) DJ: Dynamic Adaptive Programming in Java. REFLECTION '01: Proc. 3d Int. Conf. Metalevel Architectures and Separation of Crosscutting Concerns, Kyoto, Japan, September, pp. 73-80. Springer.
8. Huang, M., Wang, C. and Zhang, L. (2004) Toward a Reusable and Generic Security Aspect Library. In De Win, B., Shah, V., Joosen, W. and Bodkin, R. (eds), AOSDSEC: AOSD Technology for Application-Level Security, Lancaster, England.
9. Ramachandran, R., Pearce, D. and Welch, I. (2006) AspectJ for Multilevel Security. In Coady, Y., Lorenz, D., Spinczyk, O. and Wohlstadter, E. (eds), ACP4IS06. Published as University of Virginia Computer Science Technical Report CS-2006-2101
10. De Win, B., Vanhaute, B. and De Decker, B. (2001) Security Through Aspect-Oriented Programming. Proc. IFIP TC11 WG11.4 1st Annual Working Conf. Network Security, Leuven, Belgium, November 26-27, pp. 125-138. Kluwer.
11. De Win, B., Piessens, F. and Joosen, W. (2006) How Secure is AOP and What can we do about it? SESS '06: Proc. 2006 Int. Workshop on Software Engineering for Secure Systems, Shanghai, China, pp. 27-34. ACM Press.
12. Mourad, A., Laverdiere, M.-A. and Debbabi, M. (2007) Towards an Aspect Oriented Approach for the Security Hardening of Code. AINAW '07: Proc. 21st Int. Conf. Advanced Information Networking and Applications Workshops, Niagara Falls, May 21-23, pp. 595-600.
13. Douence, R., Fradet, P. and Sudholt, M. (2004) Composition, Reuse, and Interaction Analysis of Stateful Aspects. Proc. 3rd Int. Conf. on Aspect-Oriented Software Development (AOSD'04), Lancaster, UK, March 22-26. ACM Press.
14. Nguyen, D.H. and Sdholt, M. (2006) Aspects over VPA-Based Protocols. Proc. Software Engineering and Formal Methods (SEFM), Pune, India, September 11-15, IEEE Press.
15. Masuhara, H. and Kawauchi, K. (2003) Dataflow Pointcut in Aspect-Oriented Programming. APLAS 03: Asian Symp. on Programming Languages and Systems, Beijing, China, November 27-29, Springer.
16. The AspectJ Programming Guide. (2008) http://dev.eclipse.org/ viewcvs/indextech.cgi/check-out/aspectj-home/doc/progguide/ index.html.
17. Debbabi, M., Aidoud, Z. and Faour, A. (1997) On the inference of structured recursive effects with subtyping. J. Funct. Log. Program., 1997, 1-15.
18. Nielson, F. and Nielson, H. (1994) Constraints for Polymorphic Behaviours of Concurrent ML. Constraints in Computational Logic, pp. 73-88. Springer, London, UK.
19. Talpin, J. and Jouvelot, P. (1992) Polymorphic type, region and effect inference. J. Funct. Program., 2, 245-271.
20. Spinczyk, O., Gal, A. and Preikschat, W. (2002) AspectC+ +: An Aspect-Oriented Extension to C ++. Proc. 40th Int. Conf. Technology of Object-Oriented Languages and Systems, Australian Computer Society, Inc., Sydney, Australia.
21. Böllert, K. (1999) On Weaving Aspects. Proc. Workshop on Object-Oriented Technology, London, UK, pp. 301-330. Springer.
22. TCD-CS2002-55 (2002) AspectC#: An AOSD Implementation for C#. Department of Computer Science, Trinity College, Dublin.
23. Viega, J., Bloch, J.T. and Pravir, C. (2001) Applying a spect-oriented programming to security. Cutter IT J., 14, 31-39.
24. Tarr, P. and Ossher, H. (2000) Hyper/J User and Installation Manual. IBM T.J. Watson Research Center, NY, USA.
25. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J. and Griswold, W. (2001) An Overview of AspectJ. ECOOP '01: Proc. 15th European Conf. Object-Oriented Programming, London, UK, pp. 327-353. Springer.
26. Bergeron, J., Debbabi, M., Desharnais, J., Erhioui, M., Lavoie, Y. and Tawbi, N. (2001) Static Detection of Malicious Code in Executable Programs. Symp. on Requirements Engineering for Information Security (SREIS'01), Indianapolis, IN, USA. Springer.
27. Damas, L. and Milner, R. (1982) Principal Type-Schemes for Functional Programs. POPL '82: Proc. 9th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, Albuquerque, Mexico, pp. 207-212. ACM, New York, NY, USA.
28. Tofte, M. (1990) Type inference for polymorphic . Inf. Comput., 89, 1-34.
29. Leroy, X. and Weis, P. (1991) Polymorphic Type Inference and Assignment. POPL '91: Proc. 18th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Orlando, FL, UA, pp. 291-302. ACM, New York, NY, USA.
30. Walker, D., Zdancewic, S. and Ligatti, J. (2003) A Theory of Aspects. Proc. ACM SIGPLAN Int. Conf. Functional Programming, Uppsala, Sweden. ACM Press.
31. Dantas, D., Walker, D., Washburn, G. and Weirich, S. (2005) PolyAML: a polymorphic aspect-oriented functional programming language. j-SIGPLAN, 40, 306-319.
32. Masuhara, H., Tatsuzawa, H. and Yonezawa, A. (2005) Aspectual Caml: An Aspect-Oriented Functional Language. ICFP '05: Proc. 10th ACM SIGPLAN Int. Conf. Functional Programming, Tallinn, Estonia, pp. 320-330. ACM Press.
33. Wang, M., Chen, K. and Khoo, S. (2006) Type-Directed Weaving of Aspects for Higher Order Functional Languages. PEPM 06: Proc. 2006 ACM SIGPLAN Symp. Partial Evaluation and Semantics-Based Program Manipulation, Charleston, SC, USA, pp. 78-87. ACM Press.
34. Wang, M., Chen, K. and Khoo, S. (2006) On the pursuit of static and coherent weaving. Foundations of Aspect-Oriented Languages 2006 (FOAL 2006), March 21, University of Bonn, Bonn, Germany.
35. Bruns, G., Jagadeesan, R., Jeffrey, A. and Riely, J. (2004) mABC: A Minimal Aspect Calculus. In Gardner, P. and Yoshida, N. (eds), CONCUR 2004-Concurrency Theory: 15th Int. Conf., London, UK, August 31-September 3. Springer.
36. Belblidia, N. and Debbabi, M. (2006) Formalizing AspectJ Weaving for Static Pointcuts. Fourth IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'06), Pune, India, September 11-15, pp. 50-59
37. Allan, C., Avgustinov, P., Christensen, A., Hendren, L., Kuzins, S., Lhoták, O., De Moor, O., Sereni, D., Sittampalam, G. and Tibble, J. (2005) Adding Trace Matching with Free Variables to AspectJ. Proc. ACM Conf. Object-Oriented Programming, Systems and Languages (OOPSLA), San Diego, California, October 16-20. ACM Press.