Skip to main content
SpringerLink
Log in

Automated Security Management

  • Book
  • © 2013

Overview

Editors:
  1. Ehab Al-Shaer

    1. Department of Software and Information Systems, University of North Carolina Charlotte, Charlotte, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Xinming Ou

    1. Computing and Information Sciences, Kansas State University, Manhattan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Geoffrey Xie

    1. Department of Computer Science, Naval Postgraduate School, Monterey, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Discusses how to manage the complex security risk of configuration settings of network systems
  • Explores the relationship between vulnerability assessment and security automation
  • Covers automated/dynamic defense based risk
  • Offers a comprehensive coverage of security automation

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Configuration Modeling and Checking

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Towards a Unified Modeling and Verification of Network and System Security Configurations

      • Mohammed Noraden Alsaleh, Ehab Al-Shaer, Adel El-Atawy
      Pages 3-19

    3. Modeling and Checking the Security of DIFC System Configurations

      • Mingyi Zhao, Peng Liu
      Pages 21-38

  3. Vulnerability and Risk Assessment

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. Increasing Android Security Using a Lightweight OVAL-Based Vulnerability Assessment Framework

      • Martín Barrère, Gaëtan Hurel, Rémi Badonnel, Olivier Festor
      Pages 41-58

    3. A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure

      • Mohammad Ashiqur Rahman, Ehab Al-Shaer
      Pages 59-77

    4. Risk Based Access Control Using Classification

      • Nazia Badar, Jaideep Vaidya, Vijayalakshmi Atluri, Basit Shafiq
      Pages 79-95

  4. Configuration Analytics

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. GCNav: Generic Configuration Navigation System

      • Shankaranarayanan Puzhavakath Narayanan, Seungjoon Lee, Subhabrata Sen
      Pages 99-117

    3. The Right Files at the Right Time

      • Hayawardh Vijayakumar, Trent Jaeger
      Pages 119-133

    4. Rule Configuration Checking in Secure Cooperative Data Access

      • Meixing Le, Krishna Kant, Sushil Jajodia
      Pages 135-149

  5. Diagnostics and Discovery

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Programmable Diagnostic Network Measurement with Localization and Traffic Observation

      • Michael R. Clement, Dennis Volpano
      Pages 153-167

    3. Discovery of Unexpected Services and Communication Paths in Networked Systems

      • Ichita Higurashi, Akira Kanaoka, Masahiko Kato, Eiji Okamoto
      Pages 169-178

    4. Tracing Advanced Persistent Threats in Networked Systems

      • Masahiko Kato, Takumi Matsunami, Akira Kanaoka, Hiroshi Koide, Eiji Okamoto
      Pages 179-187
Back to top

Keywords

About this book

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 increase overall network assurability and usability. These constantly changing networks defend against cyber attacks by integrating hundreds of security devices such as firewalls, IPSec gateways, IDS/IPS, authentication servers, authorization/RBAC servers, and crypto systems. Automated Security Management presents a number of topics in the area of configuration automation. Early in the book, the chapter authors introduce modeling and validation of configurations based on high-level requirements and discuss how to manage the security risk as a result of configuration settings of network systems. Later chapters delve into the concept of configuration analysis and why it is important in ensuring the security and functionality of a properly configured system. The book concludes with ways to identify problems when things go wrong and more. A wide range of theoretical and practical content make this volume valuable for researchers and professionals who work with network systems.

Editors and Affiliations

  • Department of Software and Information Systems, University of North Carolina Charlotte, Charlotte, USA

    Ehab Al-Shaer

  • Computing and Information Sciences, Kansas State University, Manhattan, USA

    Xinming Ou

  • Department of Computer Science, Naval Postgraduate School, Monterey, USA

    Geoffrey Xie

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation