Books+ Search Results
Automated Security Management
Author
Title
Automated Security Management [electronic resource] / edited by Ehab Al-Shaer, Xinming Ou, Geoffrey Xie.
ISBN
9783319014333
Publication
Cham : Springer International Publishing : Imprint: Springer, 2013.
Physical Description
VIII, 187 p. 62 illus. online resource.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
No back cover copy.
Variant and related titles
Springer ebooks.
Other formats
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
November 06, 2013
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.
Subjects
Also listed under
Bookmark As
Citation
