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
security management
biblio
A Framework for Managing User-defined Security Policies to Support Network Security Functions
Submitted by
aekwall
on Mon, 06/17/2019 - 10:20am
pubcrawl
policy-based governance
NSF
security management
security policy
security policies
biblio
Autonomic Secure HPC Fabric Architecture
Submitted by
grigby1
on Wed, 03/06/2019 - 4:24pm
anomaly analysis
Autonomic Security
Cloud Computing
Cloud Security
composability
computer architecture
fabric industries
Fabrics
Frequency modulation
Hardware
High performance computing
HPC fabric architecture
Omni-Path Fabric
parallel processing
pubcrawl
resilience
Resiliency
resilient computing
security
security management
security of data
Software
biblio
Data security storage model for fog computing in large-scale IoT application
Submitted by
grigby1
on Fri, 10/26/2018 - 4:46pm
Big Data
big data security storage
Cloud Computing
data security storage model
data synchronization
distributed processing
FCDSSM
FCS
Fog computing
fog computing nodes
fog computing system
for fog computing
geographical distributed storage system
Internet of Things
IoT application
large-scale IoT application
pubcrawl
Resiliency
Scalability
security
security management
security of data
storage management
storage resources
biblio
Security management of cyber physical control systems using NIST SP 800-82r2
Submitted by
grigby1
on Wed, 09/12/2018 - 11:13am
security
Cybersecurity
resilience
cyber-physical systems
Industrial Control Systems
pubcrawl
Resiliency
risk management
Damage Assessment
security of data
Databases
control systems
industrial control
Stakeholders
critical infrastructures
security management
Electricity supply industry
NIST
threats
standards
critical infrastructure system
CSES method
cyber physical control systems
Cyberspace
Cyberspace Security Econometrics System
dependability
economics-based risk evaluation method
electric utility
gas industry
gas utility
ICS security
NIST Guide
NIST SP 800-82r2
risk assessment
security measures
security requirements
stakeholder-aware risk evaluation method
vulnerabilities
biblio
Automated Verification of Security Chains in Software-Defined Networks with Synaptic
Submitted by
grigby1
on Mon, 03/05/2018 - 1:12pm
automated verification
Cloud Computing
composability
Computer languages
computer network security
control systems
CVC4
data leakage prevention
dynamic networks
firewalls
formal models
Formal Specification
formal verification
Frenetic family
infrastructure protection
Intrusion Detection Systems
Metrics
Middleboxes
model checking
nuXmv checkers
pubcrawl
resilience
Resiliency
SDN programming languages
security
security chain verification
security chains
security functions
security management
smart devices
SMT
software defined networking
software-defined networking
Software-Defined Networks
specification translation
Synaptic
veriT
biblio
Automated Verification of Security Chains in Software-Defined Networks with Synaptic
Submitted by
grigby1
on Mon, 03/05/2018 - 1:11pm
automated verification
Cloud Computing
composability
Computer languages
computer network security
control systems
CVC4
data leakage prevention
dynamic networks
firewalls
formal models
Formal Specification
formal verification
Frenetic family
infrastructure protection
Intrusion Detection Systems
Metrics
Middleboxes
model checking
nuXmv checkers
pubcrawl
resilience
Resiliency
SDN programming languages
security
security chains
security chain verification
security functions
security management
smart devices
SMT
software-defined networking
software defined networking
Software-Defined Networks
specification translation
Synaptic
veriT
biblio
Research Challenges in Dynamic Policy-Based Autonomous Security
Submitted by
grigby1
on Tue, 02/27/2018 - 2:40pm
Access Control
authorisation
automatic security policy generation
autonomous systems
composability
consistent conflict free
dynamic policy
estimation
generative policies
Government
learning (artificial intelligence)
machine learning
Measurement
policy-based autonomous security management
privacy
pubcrawl
research and development
research challenges
research issues
resilience
Resiliency
security
security enforcement
security management
smart devices
Training
biblio
A Flexible Architecture for Orchestrating Network Security Functions to Support High-level Security Policies
Submitted by
grigby1
on Wed, 02/21/2018 - 1:43pm
Network Security Architecture
NFV
NSF
pubcrawl
resilience
Resiliency
security management
security policy
biblio
Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems
Submitted by
grigby1
on Fri, 02/02/2018 - 1:27pm
certification
compliance assurance
composability
Context modeling
cyber-physical systems
documentation
formal verification
integrated computational-physical capabilities
pubcrawl
requirements engineering
Safety
safety assurance
Safety management
safety requirements
safety-critical software
Safety-Critical Systems
Scalability
security
Security Assurance
security management
security of data
security requirements
security-critical systems
software assurance
standards
Unified modeling language
biblio
Social network security management model using Unified Communications as a Service
Submitted by
BrandonB
on Tue, 05/05/2015 - 9:25am
access management processes
asynchronous asymmetric communications
authentication
Cloud Computing
communication errors detection
communication errors identification
Communities
hosted services vulnerability
multi-tenancy
multitenancy SaaS application
multitenant services
PC-FAST algorithm
security conditions
security management
security of data
Servers
social network security management model
Social network services
social networking (online)
social networks
Software as a service
Switches
TRAIN model
UCaaS
UCaaS approach
unified communications as a service
virtual machine
virtual machines
1
2
next ›
last »
