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
stochastic petri nets
biblio
Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach
Submitted by aekwall on Thu, 02/02/2023 - 4:44pm
Measurement
Software
Virtual machining
pubcrawl
Scalability
Resiliency
Steady-state
Stochastic processes
Petri nets
aging
moving target defense
Software aging and rejuvenation
stochastic petri nets
VM migration
Stochastic Computing Security
biblio
Modeling and measurement internal threat process based on advanced stochastic model*
Submitted by grigby1 on Fri, 11/20/2020 - 12:52pm
security model
Stochastic Computing Security
threat behaviors
stochastic petri nets
risk measurement
real-time risk measurement
Petri net computing characteristics
network protection
internal threats
Internal Threat
illegal data
firewall-password model
advanced stochastic model
Petri nets
security of data
complex networks
risk analysis
Stochastic processes
Computational modeling
Data models
Scalability
Mathematical model
Analytical models
Resiliency
resilience
pubcrawl
security
biblio
Cyber Risks Assessment For Intelligent And Non-Intelligent Attacks In Power System
Submitted by aekwall on Mon, 07/06/2020 - 9:19am
stochastic petri nets
Damage Assessment
transmission line protection systems
substation
power transmission protection
power system structure
power system components
Petrinet
nonintelligent attacks
intelligent attack
IEEE39 bus system
electrical network
cyber security risk assessment method
cyber physical performance
attacks
power supply
security of data
Cyber Physical System
smart power grid
power transmission lines
Stochastic processes
substation automation
cyber security
Petri nets
power system security
power engineering computing
probability
Cyber Attacks
smart power grids
Risk
pubcrawl
Resiliency
biblio
Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis
Submitted by aekwall on Mon, 04/20/2020 - 9:32am
Discrete event system
privacy models and measurement
timed stochastic Petri net models
timed stochastic discrete event systems
stochastic petri nets
privacy analysis
Observers
Markov model
language-based opacity
k-step trajectory-observer
security
Stochastic processes
discrete event systems
Petri nets
privacy
Metrics
pubcrawl
data privacy
security of data
biblio
Defensive maneuver cyber platform modeling with Stochastic Petri Nets
Submitted by BrandonB on Tue, 05/05/2015 - 10:19am
control systems
Cyberspace
deceptive defense strategies
defensive maneuver cyber platform modeling
information systems security
malicious attackers
military computing
moving target defense strategies
Petri nets
security
security of data
standards
stochastic petri nets
Stochastic processes
biblio
Dependability and Resource Optimation Analysis for Smart Grid Communication Networks
Submitted by BrandonB on Tue, 05/05/2015 - 8:35am
stochastic petri nets
resource allocation
resource resource optimization analysis
Smart Grid
smart grid communication network reliability
smart grid security
Smart Grids
smart power grids
SPN
stochastic Petri net
reliability importance
stochastic programming
telecommunication network reliability
telecommunication security
Topology
two-way interactive communication
underlie communication network
wireless mesh network
wireless mesh network technology
wireless mesh networks
network management
computer architecture
cyber-attack risk
dependability analysis
dependability modeling
intelligent resource management
Logic gates
Markov processes
mean time to failure
MTTF
Availability
next generation power distribution
Petri nets
power distribution reliability
power system security
RBD
Redundancy
redundancy mechanism
reliability block diagrams
