Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Security Management > Modeling and Checking the Security of DIFC System Configurations
Automated Security Management |
Ehab Al-Shaer; Xinming Ou; Geoffrey Xie
Springer International Publishing
Automated Security Management
Modeling and Checking the Security of DIFC System Configurations
Authors

Mingyi Zhao; Peng Liu

ARI Id

1664409600746_1562958

Access

Not Available Free

Pages

21-38

DOI

10.1007/978-3-319-01433-3_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-01433-3_2

Table of Contents of Book
Showing 1 to 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-viii
Front Matter
1-1
Towards a Unified Modeling and Verification of Network and System Security Configurations
Mohammed Noraden Alsaleh; Ehab Al-Shaer; Adel El-Atawy
3-19
Modeling and Checking the Security of DIFC System Configurations
Mingyi Zhao; Peng Liu
21-38
Front Matter
39-39
Increasing Android Security Using a Lightweight OVAL-Based Vulnerability Assessment Framework
Martín Barrère; Gaëtan Hurel; Rémi Badonnel; Olivier Festor
41-58
A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure
Mohammad Ashiqur Rahman; Ehab Al-Shaer
59-77
Risk Based Access Control Using Classification
Nazia Badar; Jaideep Vaidya; Vijayalakshmi Atluri; Basit Shafiq
79-95
Front Matter
97-97
GCNav: Generic Configuration Navigation System
Shankaranarayanan Puzhavakath Narayanan; Seungjoon Lee; Subhabrata Sen
99-117
The Right Files at the Right Time
Hayawardh Vijayakumar; Trent Jaeger
119-133
Rule Configuration Checking in Secure Cooperative Data Access
Meixing Le; Krishna Kant; Sushil Jajodia
135-149
Front Matter
151-151
Programmable Diagnostic Network Measurement with Localization and Traffic Observation
Michael R. Clement; Dennis Volpano
153-167
Discovery of Unexpected Services and Communication Paths in Networked Systems
Ichita Higurashi; Akira Kanaoka; Masahiko Kato; Eiji Okamoto
169-178
Tracing Advanced Persistent Threats in Networked Systems
Masahiko Kato; Takumi Matsunami; Akira Kanaoka; Hiroshi Koide; Eiji Okamoto
179-187
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings