Formal Aspects of Security

@inproceedings{Leeuwen2003FormalAO,
  title={Formal Aspects of Security},
  author={Jan van Leeuwen},
  booktitle={Lecture Notes in Computer Science},
  year={2003}
}
Much about our computing systems has changed since reference monitors were first introduced, 30 years ago. Reference monitors haven’t—at least, until recently—but new forms of execution monitoring are now possible, largely due to research done in the formal methods and programming languages communities. This talk will discuss these new approaches: why they are attractive, what can be done, what has been done, and what problems remain. In contrast to 1972, operating systems today are too large… CONTINUE READING

References

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

and L

  • A. Bianc
  • de Alfaro. Model checking of probabilistic and…
  • 1995
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…