Heuristics for Safety and Security Constraints

@article{Nielson2007HeuristicsFS,
  title={Heuristics for Safety and Security Constraints},
  author={Flemming Nielson and Hanne Riis Nielson},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2007},
  volume={172},
  pages={523-543}
}
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-free least fixed point logic one may use efficient algorithms for computing the least admissible solutions. We extend this scenario to validate the fulfilment of safety and security constraints on admissible solutions; the modified development produces a least solution together with a boolean value indicating whether or not… CONTINUE READING
BETA

References

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

F

  • H. Riis Nielson
  • Nielson: Flow Logic: a multi-paradigmatic…
  • 2007
Highly Influential
4 Excerpts

and H

  • F. Nielson, H. Seidl
  • Riis Nielson: A Succinct Solver for ALFP. Nordic…
  • 2002
Highly Influential
6 Excerpts

C

  • F. Nielson, H. Riis Nielson
  • Hankin: Principles of Program Analysis. Springer…
  • 2005
2 Excerpts

H

  • C. Bodei, M. Buchholtz, P. Degano, F. Nielson
  • Riis Nielson: Automatic Validation of Protocol…
  • 2003
1 Excerpt

A theory of declarative programming

  • K. Apt, H. Blair, A. Walker
  • Foundations of Deductive Databases and Logic…
  • 1988
1 Excerpt

Similar Papers

Loading similar papers…