Access Control, Security, and Trust : a Logical Approach.

Mostrar otras versiones (1)

Access Control, Security, Trust, and Logic Deconstructing Access Control Decisions A Logical Approach to Access Control PRELIMINARIES A Language for Access ControlSets and Relations Syntax SemanticsReasoning about Access Control Logical RulesFormal Proofs and Theorems Soundness of Logical RulesBasic...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Chin, Shiu-Kai
Otros Autores: Older, Susan Beth
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken : CRC Press, 2010.
Colección:Chapman & Hall/CRC cryptography and network security.
Temas:
Computers > Access control.
System design.
Ordinateurs > Accès > Contrôle.
Conception de systèmes.
COMPUTERS > Security > General.
Computers > Access control
System design
Acceso en línea:Texto completo
Descripción
Sumario:Access Control, Security, Trust, and Logic Deconstructing Access Control Decisions A Logical Approach to Access Control PRELIMINARIES A Language for Access ControlSets and Relations Syntax SemanticsReasoning about Access Control Logical RulesFormal Proofs and Theorems Soundness of Logical RulesBasic Concepts Reference Monitors Access Control Mechanisms: Tickets and Lists Authentication Security PoliciesConfidentiality, Integrity, and Availability Discretionary Security Policies Mandatory Security Policies Military Security Policies Commercial PoliciesDISTRIBUTED ACCESS CONTROL Digital Authenti.
Descripción Física:1 online resource (348 pages)
Bibliografía:Includes bibliographical references and index.
ISBN:9781439894637
1439894639

Ejemplares similares