Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
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 Aspect-Oriented Security Engineering
Type
Physical Book
Publisher
Author
Language
English
Pages
260
Format
Paperback
ISBN13
9783736999800

Aspect-Oriented Security Engineering

Peter Amthor (Author) · Cuvillier · Paperback

Aspect-Oriented Security Engineering - Peter Amthor

Cheaper New Book Imported to New Zealand
Delivery: 12 Aug - 19 Aug Shipping: 13 to 14 business days.
NZ$ 136.56
Faster New Book Imported to New Zealand
Delivery: 30 Jul - 06 Aug Shipping: 4 to 5 business days.
NZ$ 136.97
Import costs and 15% GST included in the price ✅
NZ$ 136.56

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Aspect-Oriented Security Engineering"

Engineering secure systems is an error-prone process, where any decision margin potentially favors critical implementation faults. To this end, formal security models serve as an abstract basis for verifying security properties. Unfortunately, the potential for human error in engineering and analyzing such models is still considerable. This work seeks to mitigate this problem. We identified semantic gaps between security requirements, informal security policies, and security models as a major source of error. Our goal is then based on this observation: to support error-minimizing design decisions by bridging such gaps. Due to the broad range of security-critical application domains, no single modeling framework may achieve this. We therefore adopt the idea of aspect-oriented software development to tailor the formal part of a security engineering process towards security requirements of the system. Our method, termed aspect-oriented security engineering, is based on the idea of keeping each step in this process well-defined, small, and monotonic in terms of the degree of formalism. Our practical results focus on two use cases: first, model engineering for operating systems and middleware security policies; second, model analysis of runtime properties related to potential privilege escalation. We eventually combine both use cases to present a model-based reengineering approach for the access control system of Security-Enhanced Linux (SELinux).

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