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
Petri nets
biblio
Colored Petri Net Reusing for Service Function Chaining Validation
Submitted by grigby1 on Fri, 09/01/2023 - 1:48pm
Libraries
Configuration verification Model reuse
Colored Petri Net
Information Reuse
service function chain
service function chaining
Petri nets
Compositionality
network security
security
composability
Computational modeling
Software
Conferences
Resiliency
resilience
pubcrawl
biblio
On Resident Strategy for White-Hat Botnet in Botnet Defense System
Submitted by grigby1 on Fri, 04/14/2023 - 2:58pm
botnet
botnet defense system
botnets security
composability
Compositionality
Consumer electronics
Filling
Metrics
multi-agent
Petri Net
Petri nets
pubcrawl
resident strategy
resilience
Resiliency
biblio
Ransomware Detection in Databases through Dynamic Analysis of Query Sequences
Submitted by grigby1 on Fri, 03/17/2023 - 11:03am
Benchmark testing
MySQL
Colored Petri Nets
Attack Modeling
database
Ransomware
Petri nets
network security
Runtime
machine learning
composability
Databases
Resiliency
resilience
Metrics
pubcrawl
Neural networks
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
Extending a security ontology framework to model CAPEC attack paths and TAL adversary profiles
Submitted by aekwall on Thu, 02/02/2023 - 4:43pm
Dictionaries
Stochastic Computing Security
TAL
Ontology
modeling
capec
Attack Path
ADVISE
adversary profile
Ontologies
security
Petri nets
Stochastic processes
Europe
taxonomy
Resiliency
Scalability
pubcrawl
Computational modeling
biblio
Security and Availability Modeling of VM Migration as Moving Target Defense
Submitted by grigby1 on Thu, 10/20/2022 - 2:50pm
Random access memory
probability of attack success
Dynamic platform technique
Resiliency
VM migration
Stochastic Computing Security
Availability
moving target defense
scheduling
Cloud Computing
Petri nets
Measurement
Stochastic processes
Computational modeling
resilience
pubcrawl
security
biblio
Trustworthiness Evaluation of Smart Grids Using GSPN
Submitted by grigby1 on Wed, 08/03/2022 - 3:12pm
pubcrawl
security
Stochastic processes
composability
sensors
Smart Grids
integrity
simulation
Petri nets
Reliability
Substations
trustworthiness
Steady-state
Availability
GSPN
biblio
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
Submitted by aekwall on Tue, 10/12/2021 - 2:07pm
composability
Compositionality
Computer languages
CTLK
epistemic logic
model checking
OBDD
Petri nets
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
security
tools
biblio
Digraph Modeling of Information Security Systems
Submitted by grigby1 on Mon, 10/04/2021 - 2:03pm
composability
Computational modeling
digraph
information security
Mathematical model
Metrics
modeling
object oriented security
Organizations
Petri nets
pubcrawl
Resiliency
security
tools
biblio
A Stochastic Assessment of Attacks based on Continuous-Time Markov Chains
Submitted by grigby1 on Wed, 03/17/2021 - 11:40am
probability
trees (mathematics)
Transient analysis
Time measurement
stochastic propagation times
Stochastic processes
stochastic methodology
stochastic assessment
Statistical performance evaluation
sequential attack
security of data
Scalability
Resiliency
resilience
pubcrawl
attack propagation
Petri nets
performance evaluation
Markov processes
individual attack occurrence probabilities
cyber-physical systems
Cyber-physical attack
critical infrastructures
critical infrastructure
continuous-time Markov chains
Conferences
concurrent attack
Chained Attacks
basic attack tree
attack trees
1
2
3
4
next ›
last »