default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSafeConfig 2012: Baltimore, MD, USA
- Ehab Al-Shaer, Xinming Ou, Geoffrey G. Xie:
Automated Security Management [papers from SafeConfig 2012, Baltimore Inner Harbor, MD, USA]. Springer 2013, ISBN 978-3-319-01432-6
Configuration Modeling and Checking
- Mohammed Noraden Alsaleh, Ehab Al-Shaer, Adel El-Atawy:
Towards a Unified Modeling and Verification of Network and System Security Configurations. 3-19 - Mingyi Zhao, Peng Liu:
Modeling and Checking the Security of DIFC System Configurations. 21-38
Vulnerability and Risk Assessment
- Martín Barrère
, Gaetan Hurel, Remi Badonnel, Olivier Festor:
Increasing Android Security Using a Lightweight OVAL-Based Vulnerability Assessment Framework. 41-58 - Mohammad Ashiqur Rahman, Ehab Al-Shaer:
A Declarative Logic-Based Approach for Threat Analysis of Advanced Metering Infrastructure. 59-77 - Nazia Badar, Jaideep Vaidya, Vijayalakshmi Atluri, Basit Shafiq:
Risk Based Access Control Using Classification. 79-95
Configuration Analytics
- Shankaranarayanan Puzhavakath Narayanan, Seungjoon Lee, Subhabrata Sen:
GCNav: Generic Configuration Navigation System. 99-117 - Hayawardh Vijayakumar, Trent Jaeger:
The Right Files at the Right Time. 119-133 - Meixing Le, Krishna Kant, Sushil Jajodia:
Rule Configuration Checking in Secure Cooperative Data Access. 135-149
Diagnostics and Discovery
- Michael R. Clement, Dennis M. Volpano:
Programmable Diagnostic Network Measurement with Localization and Traffic Observation. 153-167 - Ichita Higurashi, Akira Kanaoka, Masahiko Kato, Eiji Okamoto:
Discovery of Unexpected Services and Communication Paths in Networked Systems. 169-178 - Masahiko Kato, Takumi Matsunami, Akira Kanaoka, Hiroshi Koide, Eiji Okamoto:
Tracing Advanced Persistent Threats in Networked Systems. 179-187
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
