Access Control, Security, and Trust Image close
Access Control, Security, and Trust on Hardback by Shiu-Kai Chin
Access Control, Security, and Trust on Hardback by Shiu-Kai Chin
Show Hide Adult Content
Access Control, Security, and Trust close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer security

Access Control, Security, and Trust

A Logical Approach
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$334.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $83.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-16 July using International Courier

Explore more Chapman & Hall/CRC Cryptography and Network Security Series

See all products in this series

Introduction to Modern Cryptography on Hardback by Jonathan Katz
$332.99
Introduction to Modern Cryptography
by Jonathan Katz ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Network Security on Hardback by Douglas Jacobson
$303.99
Introduction to Network Security
by Douglas Jacobson ~ Hardback
Available - Usually ships in 3-4 weeks
Secret History on Hardback by Craig Bauer
$165.99
Secret History
by Craig Bauer ~ Hardback
Available - Usually ships in 2-3 weeks
Group Theoretic Cryptography on Hardback by Maria Isabel Gonzalez Vasco
$308.99
Group Theoretic Cryptography
by Maria Isabel Gonzalez Vasco ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithmic Cryptanalysis on Hardback by Antoine Joux
$407.99
Algorithmic Cryptanalysis
by Antoine Joux ~ Hardback
Available - Usually ships in 3-4 weeks
Practical Mathematical Cryptography on Hardback by Kristian Gjosteen
$275.99
Practical Mathematical Cryptography
by Kristian Gjosteen ~ Hardback
Available - Usually ships in 3-4 weeks
Communication System Security on Hardback by Lidong Chen
$574.99
Communication System Security
by Lidong Chen ~ Hardback
Available - Usually ships in 3-4 weeks
Techniques for Designing and Analyzing Algorithms on Hardback by Douglas R. Stinson
$273.99
Techniques for Designing and Analyzing Algorithms
by Douglas R. Stinson ~ Hardback
Available - Usually ships in 3-4 weeks
Cryptology by Richard Klima
$123.99
Cryptology
by Richard Klima ~ Paperback / softback
Available - Usually ships in 2-3 weeks
Guide to Pairing-Based Cryptography on Hardback
$294.99
Guide to Pairing-Based Cryptography
Hardback
Available - Usually ships in 3-4 weeks
Cryptanalysis of RSA and Its Variants on Hardback by M. Jason Hinek
$311.99
Cryptanalysis of RSA and Its Variants
by M. Jason Hinek ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This book equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple propositional modal logic. The first part of the book presents the syntax and semantics of access control logic, basic access control concepts, and an introduction to confidentiality and integrity policies. The second section covers access control in networks, delegation, protocols, and the use of cryptography. In the third section, the authors focus on hardware and virtual machines. The final part discusses confidentiality, integrity, and role-based access control.

Author Biography:

Shiu-Kai Chin is a Meredith Professor in the Department of Electrical Engineering and Computer Science at Syracuse University. He is also director of the Center for Information and Systems Assurance and Trust. While at Syracuse, Dr. Chin has received the Outstanding Teacher Award, the Chancellor's Citation for Outstanding Contributions to the University's Academic Programs, and the Crouse Hinds Award for Excellence in Education. Susan Older is an associate professor in the Department of Electrical Engineering and Computer Science at Syracuse University. She is also the program director for the Certificate of Advanced Study in Systems Assurance. Dr. Older's research interests include programming-language semantics, logics of programs, formal methods, and information-assurance and computer science education.
Release date Australia
July 26th, 2010
Pages
352
Audience
  • Professional & Vocational
Illustrations
33 Tables, black and white; 93 Illustrations, black and white
Dimensions
156x234x23
ISBN-13
9781584888628
Product ID
3745739

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer security
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Combinatorics & graph theory
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computing: general >
Legal aspects of computing
Books >
Computers & Internet >
Computer science