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
Concurrency and Probability: Removing Confusion, Compositionally
Submitted by aekwall on Mon, 12/09/2019 - 11:11am
Computing Theory and Compositionality
Confusion
dynamic nets
Human behavior
Human Factors
OR causality
persistent places
Petri nets
pubcrawl
biblio
Attack Modeling and Verification for Connected System Security
Submitted by aekwall on Wed, 05/01/2019 - 12:05pm
SysML connectivity profile
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
program verification
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
error propagation
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
Adaptation models
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
biblio
SCPN-Based Game Model for Security Situational Awareness in the Intenet of Things
Submitted by grigby1 on Thu, 03/28/2019 - 2:12pm
security situational awareness
typical attack scenarios
stochastic colored Petri net
Smart homes
smart home environment
security situational awareness model
SCPN-based game model
SCPN
potential attack paths
IoT-based smart environment
IoT-based SCPN
heterogeneous devices
GT
complex smart environment
situational awareness
IoT
Petri nets
computer network security
Androids
game theory
composability
Resiliency
Metrics
pubcrawl
Decision Making
resilience
Games
security
Internet of Things
biblio
Service Oriented Resilience Strategy for Cloud Data Center
Submitted by grigby1 on Fri, 03/22/2019 - 12:01pm
Measurement
system resilience
Stochastic processes
service oriented resilience
Servers
Scalability
Resilience strategy
resilience metric
resilience
quality of service
pubcrawl
Petri nets
Metrics
Resilient Security Architectures
maintenance engineering
IT architecture
hierarchical colored generalized stochastic petri net
fault tolerance
data centers
computer networks
computer centres
cloud data center
Cloud Computing
big data security
Big Data
Resiliency
biblio
Anonymity Trilemma: Strong Anonymity, Low Bandwidth Overhead, Low Latency - Choose Two
Submitted by grigby1 on Thu, 01/31/2019 - 11:18am
low latency overhead
trilemma
telecommunication security
Synchronization
strong anonymity
sender anonymity
Resiliency
resilience
Recipient Anonymity
pubcrawl
Protocols
privacy
Petri nets
nontraditional bandwidth
Metrics
AC protocol nodes
low bandwidth overhead
latency overhead choices
Human Factors
Human behavior
fundamental constraints
Cryptography
composability
bandwidth overhead
Bandwidth
anonymous communication protocols
anonymity trilemma
anonymity
AC systems
AC protocols
biblio
Reducing USB Attack Surface: A Lightweight Authentication and Delegation Protocol
Submitted by grigby1 on Thu, 01/31/2019 - 11:13am
safest places
mobile device
mobile malware
network communications
Petri nets
privately owned smart device
Protocols
pubcrawl
radiofrequency identification
resilience
Resiliency
Metrics
secure places
Servers
smart phones
unintentional piggybacking
Universal Serial Bus
USB attack surface
USB connection streams
USB security
USB storage
Filtering
air-gapped networks
authentication
coloured Petri nets
Coloured Petri Nets (CPN) modelling
composability
Computational modeling
corporate network
Cryptographic Protocols
delegation protocol
epidemic model.
Air gaps
free malware equilibrium
Human behavior
intentional piggybacking
Internet of Things (IoT)
invasive software
lightweight authentication
malware
malware infection
malware spread
biblio
On service security analysis for event log of IoT system based on data Petri net
Submitted by grigby1 on Thu, 06/07/2018 - 2:03pm
Metrics
security of data
security
Resiliency
resilience
pubcrawl
Policy-Governed Secure Collaboration
policy-based governance
Policy
Petri nets
Petri net data
neural networks security
Artificial Neural Networks
Manganese
malicious operation detection
IoT system event log
IoT service security analysis
Internet of Things
data tracking
Data models
cyber-physical systems
cyber physical systems
collaboration
biblio
Behavior Analysis for Safety and Security in Automotive Systems
Submitted by grigby1 on Fri, 02/02/2018 - 12:20pm
Human Factors
security of data
security monitoring
security modeling and simulation
security
Safety
Resiliency
pubcrawl
process discovery
predictive security analysis
Petri nets
Metrics
Internet of Vehicles
Analytical models
Human behavior
global security operations
cyber physical systems
connected car
Computational modeling
complex event processing
behavior analysis
automotive systems
automotive security
Automotive engineering
automobiles
biblio
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Submitted by grigby1 on Tue, 09/05/2017 - 12:25pm
composability
CPS modeling
data-driven energy consumption models
embedded systems
energy optimisation
hardware-in-the-loop simulation
Metrics
Petri nets
pubcrawl
Resiliency
satisfiability modulo theories
simulation
synthesis
timed i/o automata
verification
biblio
Proposing, specifying, and validating a controller-based routing protocol for a clean-slate Named-Data Networking
Submitted by grigby1 on Thu, 04/20/2017 - 11:33am
Metrics
specification languages
specification language
Routing protocols
Routing
router memory requirement reduction
Resiliency
pubcrawl
protocol proposal description
Proposals
Petri nets
network topology
NDN routing schemes
clean slate
IP networks
internet
Human behavior
Future Internet
formal method
description language
CRoS behavior
controller-based routing protocol
control message overhead avoidance
collaboration
code signaling information
clean-slate named-data networking
« first
‹ previous
1
2
3
4
next ›
last »
