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
Read-only archive of site from September 29, 2023.
CPS-VO
dynamic networks
biblio
Automated Verification of Security Chains in Software-Defined Networks with Synaptic
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
security management
nuXmv checkers
pubcrawl
resilience
Resiliency
SDN programming languages
security
security chain verification
security chains
security functions
model checking
smart devices
SMT
software defined networking
software-defined networking
Software-Defined Networks
specification translation
Synaptic
veriT
firewalls
Cloud Computing
composability
Computer languages
computer network security
control systems
CVC4
data leakage prevention
dynamic networks
automated verification
formal models
Formal Specification
formal verification
Frenetic family
infrastructure protection
Intrusion Detection Systems
Metrics
Middleboxes
biblio
Enhancing SDN Security for IoT-Related Deployments through Blockchain
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
resilience
IoT
IoT clouds
IoT-related deployments
jurisdictional boundaries
Metrics
national boundaries
network reconfiguration
networking paradigm
policy enforcement
pubcrawl
recently introduced Blockchain paradigm
render Blockchain
Internet-of-Things-related networking elements
Resiliency
safety-critical applications
SDN
SDN security
security
significant security factor
software defined networking
Switches
thorny issue
traditional networking deployments
Virtualization
cross national boundaries
blockchain security
Business
business activity
cloud
Cloud Computing
cloud computing infrastructure
composability
computer network security
Conferences
connected nodes
connected world
blockchain
dynamic manner
dynamic networks
efficient entity interconnection
efficient monitoring
emerging networking paradigm
geographic boundaries
increased attack surface
integrated world
intercloud communication
internet
Internet of Things
biblio
An Information Security Risk Assessment Algorithm Based on Risk Propagation in Energy Internet
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
partitions
threat propagation effect
security of data
security
RM algorithm
risk management
risk analysis
Resiliency
resilience
pubcrawl
propagation risk value
propagation effect
power systems
power engineering computing
composability
Nickel
Metrics
matrix algebra
logical network location
ISRADRP
internet
information system
information security risk assessment algorithm
information security risk assessment
energy internet
Dynamic Risk Propagation
dynamic networks
Dependency Structure Matrix
biblio
Models of Information Security Risk Accounting in Metrics of Dynamic Routing Protocols
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
pubcrawl
transmitted information
Telecommunications
security
Routing protocols
routing metrics
Routing
Resiliency
resilience
quality of service
QoS indicators
composability
Metrics
Measurement
information security risk indicator
information security risk accounting
information security risk
dynamic routing protocols
dynamic networks
computing metrics
computer science
computer network security
biblio
Automatic Mapping of Cyber Security Requirements to Support Network Slicing in Software-Defined Networks
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
network slicing
ubiquitous networks
ubiquitous computing
standards
Software-Defined Networks
software defined networking
social lives
security related standards
security related incidents
security
Resiliency
resilience
quality of service
pubcrawl
next generation networks
next generation network management
automatic mapping
Metrics
Industries
industrial automation domain
future-proof network management
future-proof approach
future network management paradigms
dynamic networks
cyber security requirements
cyber security QoS requirements
computer security
computer network security
computer network management
composability
automation
biblio
Compromising Security of Economic Dispatch in Power System Operations
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
power generation dispatch
true line capacity ratings
Software
Smart Grids
sensors
semantics-based attack generation
security
Resiliency
resilience
pubcrawl
power system operations
Power system dynamics
power grids
power grid operations
power generation economics
bilevel optimization problem
network security seem like the most relevant keywords
mixed integer linear program
Metrics
Linear programming
integer programming
false data injection attacks
energy management systems
energy management
Economics
Economic dispatch
dynamic networks
cyber-physical systems
composability
biblio
Security Comparison between Dynamic Static WSN for 5g Networks
Submitted by grigby1 on Mon, 03/05/2018 - 1:11pm
Power demand
WSN
wireless sensor networks
vehicle dynamics
Static Network
security
Resiliency
resilience
pubcrawl
5G
power consumption
Monitoring
Metrics
energy consumption
dynamic networks
Dynamic Network
composability
5G mobile communication
biblio
Research on Network Security Protection System Based on Dynamic Modeling
Submitted by grigby1 on Mon, 03/05/2018 - 1:11pm
password
vulnerability risk model
standards
security
safety evaluation model
risk model of intrusion event
Resiliency
resilience
pubcrawl
authentication
network protection system
Metrics
dynamic networks
composability
Companies
Communication networks
Biological system modeling
biblio
Evaluating the Effectiveness of Security Metrics for Dynamic Networks
Submitted by grigby1 on Mon, 03/05/2018 - 1:11pm
graphical security models
Workstations
trees (mathematics)
temporal hierarchical attack representation model
shortest attack path
Servers
security assessment
security
Resiliency
resilience
network system security posture
modern enterprise network security
Metrics
Measurement
Security Metrics
dynamic networks
Databases
cyber security
configuration changes
computer network security
comprehensive analysis
composability
attack trees
attack graphs
attack cost
Analytical models
Adaptation models
pubcrawl
biblio
A New Reliability-Driven Intelligent System for Power System Dynamic Security Assessment
Submitted by grigby1 on Mon, 03/05/2018 - 1:11pm
composability
dynamic networks
feature extraction
Metrics
neural networks security
power system stability
Power system transients
Prediction algorithms
pubcrawl
resilience
Resiliency
security
Stability analysis
Training
« first
‹ previous
1
2
3
4
5
6
next ›
last »