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
Analytical models
biblio
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
Alloy
Analytical models
attack patterns
Communication channels
Compositionality
control systems
distributed control
distributed industrial control systems
formal verification
industrial control
industrial IoT infrastructures
Internet of Things
IoT
IoT systems
Metals
Metrics
mitigation strategies
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
scalable verification
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
biblio
Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed
Submitted by
willirn1
on Fri, 05/31/2019 - 10:41am
System-security co-design
actuation capability
Analytical models
Computational modeling
computer architecture
computer security
CPS attack experiments
cyber components
cyber physical systems
cyber-attack effect evaluation
cyber-physical system
cyber-physical systems
cybersecurity design process
embedded computers
embedded systems
Experimentation
Hardware
hardware-in-the loop simulation
hardware-in-the-loop
hardware-in-the-loop simulation testbed
HIL testbed
model based software development framework
Model Integrated Computing
physical components
physical system
platform specific performance measurements
railway transportation system
resilience
security of data
simulation environment
Software
software engineering
system functions
testbed
Vanderbilt
vulnerability assessment
biblio
Time Independent Security Analysis for Dynamic Networks Using Graphical Security Models
Submitted by
aekwall
on Wed, 05/01/2019 - 1:05pm
Analytical models
composability
cyber security
Databases
Dynamic Network
Dynamical Systems
graph theory
graphical security model
graphical security models
GSM
Metrics
network systems security
network topology
pubcrawl
Resiliency
security
Security analysis
security models
security of data
Servers
Time independent security analysis
Time-independent Hierarchical Attack Representation Model
Topology
biblio
DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats
Submitted by
grigby1
on Thu, 03/28/2019 - 3:15pm
security
security of data
Analytical models
Computational modeling
Games
resilience
Monitoring
pubcrawl
Scalability
game theory
Stochastic processes
firewalls
Cyber Attacks
Resiliency
adversarial information flows
defense strategies
DIFT games
dynamic information flow tracking games
information flow passes
memory overhead
multistage game
nonadversarial information tracking
optimal adversary
RAIN framework
realworld attack dataset
refinable attack investigation framework
signature-based antivirus systems
suspicious information
tagging
signature based defense
biblio
Trustworthiness Optimization of Industrial Cluster Network Platform Based on Blockchain
Submitted by
aekwall
on Mon, 03/11/2019 - 10:38am
Analytical models
Application Layer
blockchain
collaboration
composability
data layer
Distributed databases
Economics
industrial cluster
industrial cluster network platform
Industries
information service platform
Information services
information trustworthiness
network platform
optimisation
optimization
pubcrawl
security of data
small and medium-sized enterprises
small-to-medium enterprises
smart contracts
Trusted Computing
trustworthiness
trustworthiness optimization
biblio
Capture the RAT: Proximity-Based Attacks in 5G Using the Routine Activity Theory
Submitted by
grigby1
on Wed, 03/06/2019 - 4:24pm
5G cellular networks
5G devices
5G environments
5G mobile communication
5G security
Analytical models
Autonomic Security
autonomous vehicles
capillary network
Cellular networks
cellular radio
composability
CRAT
critical IoT devices
Device-to-device communication
Hardware
high-level approach
OMNET++
proactive security
proximity-based attack analysis
proximity-based cybercrime
pubcrawl
RAT
reactive solutions
resilience
Resiliency
routine activity theory
security
Security analysis
security problems
security software developers
Software
telecommunication security
biblio
Detection of Spam E-mails with Machine Learning Methods
Submitted by
aekwall
on Mon, 02/25/2019 - 11:42am
Analytical models
Bayes methods
content information
e-mail communication
e-mail filtering
Filtering
Human behavior
internet
learning (artificial intelligence)
machine learning
machine learning methods
Metrics
naïve Bayes classifier
offensive content
pattern classification
Postal services
pubcrawl
Scalability
security of data
spam detection
spam e-mails
spam filtering
unsolicited e-mail
Unsolicited electronic mail
vector space model
biblio
A quantifiable Attack-Defense Trees model for APT attack
Submitted by
grigby1
on Mon, 01/21/2019 - 12:37pm
security
analytic hierarchy process
security of data
Analytical models
Buildings
pubcrawl
Human behavior
Metrics
Resiliency
Scalability
trees (mathematics)
advanced persistent threats
advanced persistent threat attacks
APT attack
Attack-Defense Trees
attack-defense trees model
Eigenvalues and eigenfunctions
expert systems
network attack
probability
biblio
Cyber Kill Chain based Threat Taxonomy and its Application on Cyber Common Operational Picture
Submitted by
grigby1
on Mon, 01/21/2019 - 12:37pm
Chained Attacks
advanced persistent threat attacks
advanced persistent threats
adversarial behavior
Analytical models
attack tactics
command and control systems
cyber common operational picture
Cyber Kill Chain
cyber kill chain based threat taxonomy
cyber situation awareness
Human behavior
intelligent forms
malware
Metrics
organizations cyber assets
persistent forms
pubcrawl
Reconnaissance
Resiliency
Scalability
security of data
taxonomy
threat taxonomy
visualization
Weapons
biblio
Moving Target Defense Against Advanced Persistent Threats for Cybersecurity Enhancement
Submitted by
grigby1
on Mon, 01/21/2019 - 12:36pm
Intrusion Detection Systems
Analytical models
pubcrawl
Human behavior
Metrics
Resiliency
Scalability
invasive software
Cybersecurity
computer network security
Intrusion Detection
Organizations
IP networks
abstraction levels
Advanced Persistent Threat (APT)
advanced persistent threats
APT attack strategies
APT attacks
APTs
complex multi-step attack scenario
cybersecurity attacks
cybersecurity enhancement
deception techniques
enterprise-level organizations
IKC models
IKC progression
IKC-based intrusion activities
Intrusion Kill Chain (IKC)
intrusion kill chain model
intrusion prevention systems
moving target defense
moving target defense (MTD)
MTD techniques
network assets
network-based services
Networked Infrastructure
Reconnaissance
security concerns
1
2
3
4
5
6
7
8
9
next ›
last »
