Automated Security Management

In this contributed volume, leading international researchers explore configuration modeling and checking, vulnerability and risk assessment, configuration analysis, and diagnostics and discovery. The authors equip readers to understand automated security management systems and techniques that incre...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Al-Shaer, Ehab (Editor ), Ou, Xinming (Editor ), Xie, Geoffrey (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Data protection.
Cryptography.
Data encryption (Computer science).
Computer networks .
Data and Information Security.
Cryptology.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 1: Towards a Unified Modeling and Verification of Network and System Security Configurations
  • 2: Modeling and Checking the Security of DIFC System Configurations
  • 3: Increasing Android Security using a Lightweight OVAL-based Vulnerability Assessment Framework
  • 4: A Declarative Logic-based Approach for Threat Analysis of Advanced Metering Infrastructure
  • 5: Risk based Access Control using Classification
  • 6: GCNav - Generic Configuration Navigation System
  • 7: The Right Files at the Right Time
  • 8: Rule Configuration Checking in Secure Cooperative Data Access
  • 9: Programmable Diagnostic Network Measurement with Localization and Traffic Observation
  • 10: Discovery of Unexpected Services and Communication Paths in Networked Systems
  • 11: Tracing Advances Persistent Threats in Networked Systems.

Ejemplares similares