The first two security-related papers, taken together, give a good overview of the topic. The article by Lampson et al. contains a formal treatment of security, while the Satyanarayanan paper gives a nice description of how a secure system is designed in practice. The third paper is a thorough and somewhat alarming overview of how worms and viruses spread and how a well-planned attack could be sped up.