Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité

@article{Mourad2009NouveauxPD,
  title={Nouveaux points de coupure et primitives pour les pr{\'e}occupations de renforcement de s{\'e}curit{\'e}},
  author={Azzam Mourad and M. Laverdi{\`e}re and Andrei Soeanu and M. Debbabi},
  journal={Tech. Sci. Informatiques},
  year={2009},
  volume={28},
  pages={611-644}
}
In this pauper, we present two new pointcuts and two new primitives to Aspect-Oriented Programming (AOP) languages that are needed for systematic hardening of security concerns. The two proposed pointcuts allow to identify particular join points in a progiam's control flow graph (CFG). The first one is the GAFlow, the Closest Guaranteed Ancestor, which returns the closest ancestor join point to the pointcuts of interest that is on all their runtime paths. The second one is the GDFlow, the… Expand

References

SHOWING 1-10 OF 22 REFERENCES
A join point for loops in AspectJ
Call graph construction in object-oriented languages
The Machine-SUIF Control Flow Graph Library
Stateful aspects: the case for aspect-oriented modeling
On the automatic evolution of an OS kernel using temporal logic and AOP
Security crosscutting concerns and AspectJ
Towards an Aspect Oriented Approach for the Security Hardening of Code
JFlow: practical mostly-static information flow control
...
1
2
3
...