Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Link opens in a new tab
Search content at Princeton University
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
MulVAL: A logic-based network security analyzer
∗
Xinming Ou
, Sudhakar Govindavajhala
, Andrew W. Appel
Computer Science
Center for Information Technology Policy (CITP)
Research output
:
Contribution to conference
›
Paper
›
peer-review
603
Link opens in a new tab
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'MulVAL: A logic-based network security analyzer
∗
'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Network Security
100%
Datalog
100%
Software Vulnerability
100%
Vulnerability Assessment
100%
Red Hat
100%
Multiple Network
50%
modeling language
50%
Operating Systems
50%
Network Element
50%
System Administrator
50%
Linux Platform
50%
Language Definition
50%
Configuration Description
50%
Reasoning Rule
50%
Reasoning Engine
50%
Vulnerability Scanning
50%
Policy Violation
50%
Vulnerability Database
50%
Reasoning System
50%
Keyphrases
Logic-based
100%
Network Security
100%
MulVAL
100%
Vulnerability
50%
Datalog
50%
Software Vulnerability
50%
Vulnerability Analysis
50%
Redhat
50%
Real-time Networks
25%
Multiplex Networks
25%
Modeling Language
25%
Multi-host System
25%
Operating System
25%
Network Elements
25%
Linux Kernel
25%
Bug Reports
25%
System Administrator
25%
Security Impact
25%
Scanning Tools
25%
Remediation Measures
25%
Vulnerability Database
25%
System Permissions
25%
Vulnerability Detection
25%
Reasoning Rules
25%
Reasoning System
25%
Policy Compliance
25%
Reasoning Engine
25%
Framework System
25%
Database Tool
25%