Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
cognition
biblio
A Full-Scale Security Visualization Effectiveness Measurement and Presentation Approach
Submitted by
aekwall
on Mon, 06/17/2019 - 10:27am
Web Application Security
visualization
visual clarity
user-centric visualization techniques
user response times
user cognition activators
understanding cyber-attacks
three-dimensional visualization
SvEm visualizations
SvEm framework key components
security visualization effectiveness measurement framework
Security Visualization
security insights
security incident entities
security events
real-time security visualization application
presentation approach
policy-making levels
multiuser collaboration
Mobile Security
mobile display dimension
full-scale security visualization effectiveness measurement
full-scale security visualization effectiveness framework
full-scale effectiveness approach
effectiveness metrics
Effectiveness measurement
Distortion measurement
data visualisation
cyber-attacks
cyber security
cognitive load
circular visualization designs attract
Attention span
alerts
security policies
cognition
Data visualization
network security
Correlation
computer security
Decision Making
policy-based governance
pubcrawl
security of data
biblio
Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification
Submitted by
aekwall
on Mon, 06/10/2019 - 10:15am
active attacks
Ad hoc networks
Anomaly Detection
central control program
cognition
composability
Diagnostics
flow graph
flow graphs
log-based anomalies detection
MANET Attack Detection
MANETs
MANETs routing
Merkle hash tree
Metrics
mobile ad hoc networks
mobile computing
multiple malicious nodes
passive attacks
privacy
pubcrawl
reasoning rules
Resiliency
Routing
routing phases
routing procedure
routing security
security
Syslog
telecommunication network routing
telecommunication security
verification
verification phase
biblio
Exploiting Linguistic Style as a Cognitive Biometric for Continuous Verification
Submitted by
grigby1
on Fri, 02/22/2019 - 4:02pm
feature extraction
pubcrawl
Human behavior
Metrics
Training
learning (artificial intelligence)
pattern classification
biometrics (access control)
text analysis
natural language processing
formal verification
stylometry
Linguistics
authorial style
authorship
biometrics
cognition
cognitive biometric
continuous verification
Forestry
Isolation Forests
lexical levels
linguistic style
one class
one-class classification problem
semantic levels
Syntactics
biblio
A Logic-Based Attack Graph for Analyzing Network Security Risk Against Potential Attack
Submitted by
grigby1
on Fri, 02/08/2019 - 4:28pm
security of data
tools
resilience
pubcrawl
Metrics
Resiliency
composability
graph theory
Communication networks
Servers
Vulnerability
Firewalls (computing)
attack graph
attack path depth
attack path number
attacker
cognition
generation attack graph
LAPA framework
logic-based attack graph
logical language
logical property specification
logical reasoning algorithm
model checking
network risk
network security risk
network vulnerability analysis methods
potential attack
attack graphs
biblio
Symbolic execution and probabilistic reasoning
Submitted by
grigby1
on Wed, 09/05/2018 - 10:42am
Security Metrics
pubcrawl
Symbolic Execution
safety-critical software
Computational modeling
program diagnostics
Software systems
probability
inference mechanisms
Atmospheric modeling
Metrics
reliability theory
Systematics
Probabilistic logic
cognition
Computing Theory
event occurrence probability
probabilistic reasoning
program behaviors
program paths
software system safety
software system security
symbolic path conditions
systematic program analysis technique
biblio
PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks
Submitted by
grigby1
on Wed, 06/20/2018 - 12:27pm
active attacks
Ad hoc networks
cognition
Compositionality
data privacy
Data Transmission
Diagnostics
distributed cooperation
dynamic topology
expected log data
expected routing paths
MANET
MANETs
Metrics
mobile ad hoc networks
mobile computing
multiple malicious nodes
passive attacks
Peer-to-peer computing
privacy
privacy-preserving verification
pubcrawl
PVad
resilience
Resiliency
Routing
routing discovery phase
routing path
routing security
security
security of data
source node
telecommunication network routing
telecommunication security
verification
biblio
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study
Submitted by
grigby1
on Mon, 04/30/2018 - 3:26pm
accidental misuses
breach ontology
cognition
HHS
HIPAA
inference mechanisms
malicious misuses
Measurement
Medical services
norm violation
Ontologies
pubcrawl
security
Security and privacy breaches
security breaches
security of data
security policies
semantic reasoning
semantic similarity
semantic similarity metric
Semantics
SEMAVER
social norms
software development
software engineering
taxonomy
US Department of Health and Human Services
US Health Insurance Portability and Accountability Act
biblio
Incremental knowledge acquisition and self-learning for autonomous video surveillance
Submitted by
K_Hooper
on Wed, 04/04/2018 - 9:56am
action recognition
Anomaly Detection
autonomous video surveillance
benchmark video dataset
Change detection
Clustering algorithms
cognition
event detection
feature extraction
hazard detection
Hazards
Heuristic algorithms
Human behavior
imperative security
incremental knowledge acquisition
incremental learning
incremental machine learning
Industry 4.0
industry/smart factory settings
intelligent high-level video analysis
Intelligent Video Analysis
knowledge acquisition
object detection
pubcrawl
Resiliency
safety purpose
Scalability
self-learning
Self-Organizing Maps
standard machine learning pipelines
unlabeled video streams
Unsupervised Learning
unsupervised machine learning
video feed
video frame
video signal processing
video stream
video streaming
video surveillance
video surveillance systems
biblio
Zero-Day Attack Identification in Streaming Data Using Semantics and Spark
Submitted by
grigby1
on Mon, 03/26/2018 - 1:13pm
Anomaly Detection
cognition
collaborative classification methods
Collaborative mining
composability
Computer hacking
Data Streaming
defense
dynamic semantic graph generation
feature extraction
Feature Selection
Flow Creation
graph theory
groupware
IDS
Intrusion Detection Systems
learning (artificial intelligence)
Metrics
minimum redundancy maximum relevance feature selection algorithm
MRMR feature selection algorithm
parallel detection
pattern classification
pubcrawl
Resiliency
security of data
semantic learning
Semantic learning and reasoning
semantic link networks
semantic reasoning
Semantics
SLN
Spark Streaming
Spark streaming platform
Sparks
Training
Zero day attacks
zero-day attack identification
biblio
Optimal Cyber-Defense Strategies for Advanced Persistent Threats: A Game Theoretical Analysis
Submitted by
grigby1
on Mon, 03/19/2018 - 1:55pm
advanced persistent threats
budget constrained network administrators
cognition
Cyber attack modeling
cyber attackers
Data models
defense budget
Exponential distribution
expressive model
game theoretical analysis
game theory
Games
graph edges
Human behavior
Mathematical model
Metrics
network administrator
network security
optimal cyber-defense strategies
pubcrawl
rational attacker
rational strategy
resilience
Resiliency
Scalability
security
security of data
Zero-Sum Games
zero-sum repeated game
1
2
3
next ›
last »
