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
Software
biblio
Access Control Policy Enforcement for Zero-Trust-Networking
Submitted by
grigby1
on Mon, 08/05/2019 - 11:39am
access control policy enforcement
access control process
authorisation
authorization
computer network management
computer network security
computer networks
Decision Making
dynamicity
enterprise computing landscape
firewall
Firewalls (computing)
fog/edge computing
generic firewall policy language
heterogeneous user contexts
Human behavior
Human Factors
industrial internet
Internet of Things
micro-segment
network topology
network zone
policy enforcement
policy enforcement framework
policy-based governance
Production
pubcrawl
resilience
Resiliency
rigorous access control
risk-based access control
risk-based access control decision making
Scalability
securing computer networks
Software
transaction-based interactions
trust
virtualized infrastructures
zero trust
zero trust networking
zero-trust-networking
zone resources
ZTN networks
biblio
Is Predicting Software Security Bugs Using Deep Learning Better Than the Traditional Machine Learning Algorithms?
Submitted by
aekwall
on Mon, 07/01/2019 - 10:14am
Bayes methods
Bug Propensity Correlational Analysis
Computer bugs
Decision Tree
Decision trees
deep learning
deep learning technique
Feedforward Artificial Network
feedforward neural nets
learning (artificial intelligence)
machine learning
Metrics
multilayer deep feedforward network
Naive Bayes
Predictive models
program debugging
pubcrawl
Random Forest
security
security breaches
Security Metrics
security of data
security-related bugs
Software
software insecurity
software metrics
software quality
software quality metrics
software security bugs
Support vector machines
biblio
Scalable Verification Framework for C Program
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
abstraction refinement
automatic software verification framework
C language
C program verifiers
Complexity theory
Compositionality
context aware software verification
extended structural abstraction
lines-of-code
memory consumption
Metrics
model checking
optimization
program compilers
Program slicing
program verification
program verification problem
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
scalability issues
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
biblio
A Position Study to Investigate Technical Debt Associated with Security Weaknesses
Submitted by
aekwall
on Mon, 06/24/2019 - 2:59pm
catching vulnerabilities
Common Weakness Enumeration
common weakness scoring system
Companies
CWSS scores
decidedly negative impacts
design level CWE
exploitable weaknesses
five-step approach
Human behavior
Metrics
policy-based governance
potential security breaches
pubcrawl
quality assurance
Quamoco quality model
Resiliency
scoring mechanism
security
security of data
security weaknesses
Software
software development management
software lifecycle
Software measurement
software quality
static analysis
TD
technical debt
tools
biblio
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Submitted by
aekwall
on Mon, 06/24/2019 - 2:46pm
assertion recommendation
formal program verification
Hardware
Human behavior
Metrics
pattern matching
policy-based governance
program testing
program weakness
pubcrawl
Resiliency
security
security weaknesses
Software
Syntactics
testing
tools
biblio
Architectural Security Weaknesses in Industrial Control Systems (ICS) an Empirical Study Based on Disclosed Software Vulnerabilities
Submitted by
aekwall
on Mon, 06/24/2019 - 2:46pm
architectural root cause
authorisation
common architectural security weaknesses
common security architectural weaknesses
component-based architectures
computer architecture
control systems
data acquisition
Data mining
disclosed software vulnerabilities
Human behavior
Human Factors
human-machine interfaces
ICS systems
improper input validation
industrial automation
industrial control
Industrial Control Systems
integrated circuits
internet
Metrics
PLC
policy-based governance
pubcrawl
Resiliency
SCADA configuration
SCADA systems
security
security of data
security weaknesses
Software
supervisory control
biblio
Enhancing Security and Scalability in Software Defined LTE Core Networks
Submitted by
aekwall
on Mon, 06/17/2019 - 10:29am
cellular radio
Cloud Computing
composability
Local area networks
Long Term Evolution
LTE core network
Mobile communication
mobile network design
mobile networks
Mobile Security
mobile subscribers
next generation cellular network
Next generation networking
next generation networks
pubcrawl
Scalability
scalable channel security scheme
scalable tunnel establishment
security
security enhancement
security scalability
Software
software defined LTE core networks
software defined networking
telecommunication security
telecommunication traffic
biblio
VMPBL: Identifying Vulnerable Functions Based on Machine Learning Combining Patched Information and Binary Comparison Technique by LCS
Submitted by
grigby1
on Mon, 06/10/2019 - 1:55pm
binary comparison
binary comparison technique
Classification algorithms
commas software security
composability
database management systems
feature extraction
K-Trace algorithm
knowledge database
learning (artificial intelligence)
machine learning
machine learning algorithms
open source code
patch file
patched information
privacy
pubcrawl
real-world CWE vulnerabilities
resilience
Resiliency
security
security of data
Software
software security
source files
tools
VMPBL
Vulnerability
vulnerability types
vulnerable functions
vulnerable-patched functions
biblio
Prevention of Timing Attack in Software Defined Named Data Network with VANETs
Submitted by
aekwall
on Mon, 06/10/2019 - 10:16am
attack
attacker vehicles
composability
content
data network
Interest
computer network security
internet
Internet technique
IP networks
IPv4 addressing problems
MANET
MANET Attack Mitigation
Metrics
mobile computing
named data networking
named data networks
NDN techniques
Peer-to-peer computing
Protocols
pubcrawl
Resiliency
Safety
SDN
Software
Software Defined Network
software defined networking
Software Defined Networks
TAP protocol
telecommunication network topology
timing
Timing Attack Prevention protocol
V2I communication
V2V communication
VANET
vehicle to infrastructure communication
vehicle-to-vehicle communication
vehicular
vehicular ad hoc networks
Vehicular Ad-hoc Network
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
1
2
3
4
5
6
7
8
9
…
next ›
last »
