Cover Image
Read Now

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...

Full description

Bibliographic Details
Other Authors: Al-Shaer, Ehab (Editor), Ou, Xinming (Editor), Xie, Geoffrey (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2013, 2013
Edition:1st ed. 2013
Subjects:
Computer Communication Networks
Cryptography
Computer Networks 
Data Protection
Data Encryption (computer Science)
Cryptology
Data And Information Security
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items