Foundations of Security Analysis and Design

Tutorial Lectures

By: Riccardo Focardi (Editor), Roberto Gorrieri (Editor)

Write A Review

Paperback | 7 November 2001

At a Glance

Paperback
416 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September. Mathematical Models of Computer Security (Peter Y.A. Ryan); The Logic of Authentication Protocols (Paul Syversen and Iliano Cervesato); Access Control: Policies, Models, and Mechanisms (Pierangela Samarati and Sabrina de Capitani di Vimercati); Security Goals: Packet Trajectories and Strand Spaces (Joshua D. Guttman); Notes on Nominal Calculi for Security and Mobility (Andrew D. Gordon); Classification of Security Properties (Riccardo Focardi and Roberto Gorrieri).

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Networking & Communications Network Security Computer Security Data Encryption Computer Programming & Software Development Operating Systems

Mathematical Models of Computer Security	p. 1
The Logic of Authentication Protocols	p. 63
Access Control: Policies, Models, and Mechanisms	p. 137
Security Goals: Packet Trajectories and Strand Spaces	p. 197
Notes on Nominal Calculi for Security and Mobility	p. 262
Classification of Security Properties (lPart IInformation Flow)	p. 331
Author Index	p. 397
Table of Contents provided by Publisher. All Rights Reserved.

Foundations of Security Analysis and Design

Tutorial Lectures

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Data Encryption

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Supremacy

AI, ChatGPT and the Race that Will Change the World

Computer Security

Art and Science

Foundations of Information Security

Cybersecurity All-in-One For Dummies

For Dummies

Security Risk Management Body of Knowledge

Wiley Series in Systems Engineering and Management

Rinsed

From Cartels to Crypto: How the Tech Industry Washes Money for the World's Deadliest Crooks

Black Hat Python, 2nd Edition

Python Programming for Hackers and Pentesters

Crafting an Information Security Playbook

Hackers & Painters

CompTIA Security+

8th Edition - Guide to Network Security Fundamentals

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Principles of Information Security

7th edition

Quantum Leaps

How Maths is Shaping the Future

The Web Application Hacker's Handbook

Finding and Exploiting Security Flaws 2E

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Container Security

Fundamental Technology Concepts That Protect Containerized Applications

Introduction to Modern Cryptography

Revised Third Edition

Linux Security Cookbook

Cookbooks Ser.

Linux Server Hacks, Volume Two

Tips & Tools for Connecting, Monitoring, and Troubleshooting

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Practical Lock Picking Second Edition

A Physical Penetration Tester's Training Guide

Guide to Computer Forensics and Investigations

7th Edition

Casino and Gaming Resort Investigations

This product is categorised by