Static Analysis and Runtime-Assertion Checking : Contribution to Security Counter-Measures

@inproceedings{Pariente2017StaticAA,
  title={Static Analysis and Runtime-Assertion Checking : Contribution to Security Counter-Measures},
  author={Dillon Pariente and Julien Signoles},
  year={2017}
}
This paper3 presents a methodology which combines static analysis and runtime assertion checking in order to automatically generate counter-measures, and execute them whenever a flaw in the code which may compromise the security of an application is detected during execution. Static analysis pinpoints alarms that must be converted into runtime checks. Therefore the verifier is able to only monitor the security critical points of the application. This method allows to strengthen a security… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 22 REFERENCES

Rester statique pour devenir plus rapide, plus précis et plus mince

Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles
  • 2015
VIEW 1 EXCERPT

A Tutorial on Runtime Verification

  • Engineering Dependable Software Systems
  • 2013
VIEW 1 EXCERPT

Combining testing and proof to gain high assurance in software: A case study

  • 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)
  • 2013
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…