你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Analysis Techniques for Information Security
Type
Physical Book
Author
Publisher
Language
English
Pages
152
Format
Paperback
Dimensions
23.5 x 19.1 x 0.9 cm
Weight
0.30 kg.
ISBN13
9783031012068
Edition No.
1
Categories

Analysis Techniques for Information Security

Ninghui Li (Author) · Anupam Datta (Author) · Somesh Jha (Author) · Springer · Paperback

Analysis Techniques for Information Security - Datta, Anupam ; Jha, Somesh ; Li, Ninghui

Cheaper New Book Imported to Taiwan
Delivery: 16 Sep - 25 Sep Shipping: 12 to 14 business days.
NT$ 1,303
Faster New Book Imported to Taiwan
Delivery: 04 Sep - 14 Sep Shipping: 4 to 5 business days.
NT$ 1,564
NT$ 1,303

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Analysis Techniques for Information Security"

Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a wider variety and higher likelihood of accidental failures and malicious attacks. Disruption of services caused by such undesired events can have catastrophic effects, such as disruption of essential services and huge financial losses. The increased reliance of critical services on our cyberinfrastructure and the dire consequences of security breaches have highlighted the importance of information security. Authorization, security protocols, and software security are three central areas in security in which there have been significant advances in developing systematic foundations and analysis methods that work for practical systems. This book provides an introduction to this work, covering representative approaches, illustrated by examples, and providing pointers to additional work in the area. Table of Contents: Introduction / Foundations / Detecting Buffer Overruns Using Static Analysis / Analyzing Security Policies / Analyzing Security Protocols

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews