Access control, security, and trust : a logical approach /

Bibliographic Details
Main Authors:	Chin, Shiu-Kai (Author), Older, Susan Beth (Author)
Corporate Authors:	Taylor & Francis, Taylor and Francis
Format:	eBook
Language:	English
Published:	Boca Raton, FL : Chapman and Hall/CRC, an imprint of Taylor and Francis, 2010.
Edition:	First edition.
Series:	Chapman & Hall/CRC cryptography and network security series.
Subjects:	Computers > Access control. System design. COMPUTERS > Security > General. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Abstract:	Developed from the authors' courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach 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.
Physical Description:	1 online resource (352 pages) : 126 illustrations.
ISBN:	9780429184437