Abstract
Today, computer security issues are omnipresent, not only in military intelligence but also in finance, commerce, medical data management, social networks and many other settings. Using spam as a real-life example, Martin Abadi discusses various aspects of computer science, such as cryptographic protocols, computational models and programming languages. He helps us to understand the challenges of computer security, its fundamental tools and its difficulties, both practical and scientific.
