Introduction to Computer Security References

In principle the PDFs of all papers listed below are available from the
website of the publisher for staff and students of Twente, Eindhoven
and Nijmegen. However, there are some exceptions for which a pasword
protected PDF is provided here: [Che00][Cia01][Mil11(chapter 4)]