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
IEC standards
biblio
Comparative Analysis of Specialized Standards and Methods on Increasing the Effectiveness and Role of PDCA for Risk Control in Management Systems
Submitted by aekwall on Fri, 01/13/2023 - 2:57pm
ISO standards
Security Risk Management
SMS planning
Risk management process
project management
PDCA
PD control
ISMS
IEC standards
Human Factors
Planning
risk management
Resiliency
Metrics
Scalability
pubcrawl
Reliability
biblio
Anomaly Detection of ICS Communication Using Statistical Models
Submitted by grigby1 on Fri, 09/30/2022 - 7:43am
Switches
statistical distributions
communication patterns
IEC 104
Resiliency
Monitoring
ICS Anomaly Detection
traffic control
Windows
Training
Smart Grid
IEC standards
industrial networks
Scalability
Integrated circuit modeling
resilience
pubcrawl
Anomaly Detection
biblio
Cybersecurity Certification for Agile and Dynamic Software Systems – a Process-Based Approach
Submitted by aekwall on Fri, 08/26/2022 - 11:10am
security
Software
pubcrawl
Resiliency
composability
computer security
certification
Predictive Metrics
process control
ISO standards
Standards organizations
IEC standards
Agile development
Dynamical Systems
biblio
Information Security Culture Model. A Case Study
Submitted by aekwall on Fri, 07/29/2022 - 3:31pm
information security
Human Factors
pubcrawl
Metrics
Resiliency
composability
privacy
Instruments
Phishing
ISO standards
IEC standards
culture
information assets protection
ISO
Medical diagnostic imaging
oscillating behaviors
biblio
Towards a Threat Modeling Approach Addressing Security and Safety in OT Environments
Submitted by aekwall on Wed, 04/13/2022 - 9:15am
Damage Assessment
Force
IEC standards
Industry 4.0
Instruments
IT / OT convergence
Measurement
OT Security
Production facilities
pubcrawl
Resiliency
Safety
security
Threat Modeling
biblio
Communication and Information Security Assessment of a Digital Substation
Submitted by grigby1 on Mon, 11/29/2021 - 1:10pm
Manufacturing Message Specifications (MMS)
System recovery
Substations
substation automation
standards
Sampled Value (SV)
Resiliency
resilience
pubcrawl
communication security
Internet of Things
information security
IEC standards
IEC 62351
IEC 61850
Generic Object-Oriented Substation Events (GOOSE)
cyber security
Communications technology
biblio
Cyber Attacks on Power System Automation and Protection and Impact Analysis
Submitted by grigby1 on Tue, 10/12/2021 - 1:44pm
power grid vulnerability
substation automation
standards
Smart Grids
Resiliency
real-time systems
pubcrawl
Power system protection
power grid vulnerability analysis
blackout
Metrics
IEC standards
IEC 61850
cyber security
Cyber Attacks
cyberattack
composability
Cascading Failures
biblio
Cyber-security considerations for domestic-level automated demand-response systems utilizing public-key infrastructure and ISO/IEC 20922
Submitted by aekwall on Thu, 06/24/2021 - 10:54am
Protocols
Resiliency
pubcrawl
composability
internet
Automated Response Actions
IEC standards
Cyber-security
MQTT
Voltage control
Load management
frequency control
ISO standards
ADR
Automated Demand Response
biblio
Adversary Model for Attacks Against IEC 61850 Real-Time Communication Protocols
Submitted by grigby1 on Thu, 01/28/2021 - 12:11pm
Real-time communication protocols
power engineering computing
Power system protection
power utility automation
Protocols
pubcrawl
QoS
quality of service
quality of services
pi calculus
real-time systems
resilience
Resiliency
Scalability
security
substation automation
telecommunication network topology
π-calculus process algebraic formalism
Human behavior
Adversary Models
Calculus
Communication networks
computer network security
Cryptographic Protocols
distributed processing
generic object oriented substation events and sampled value protocols
GOOSE/SV protocols
adversary model
IEC 61850
IEC 61850 real-time communication protocols
IEC standards
IEEE/IEC 61850 standard
Metrics
network topology
Object oriented modeling
biblio
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation
Submitted by aekwall on Mon, 12/07/2020 - 11:25am
symbol manipulation
Predictive Metrics
privacy
pubcrawl
public key cryptography
Resiliency
Scalability
secrecy
secrecy properties
neural style transfer
symbolic analysis
symbolic verification
Tamarin modelling
Tamarin prover
tpm
Trusted Computing
trusted platform module TPM-backed anonymous credentials
trusted platform modules
ECC-based version
authentication
composability
Cryptographic Protocols
cryptographic scheme
cyber-physical system security
digital signatures
direct anonymous attestation
ECC-based direct anonymous attestation
Analytical models
ECC-DAA
expected authentication
formal analysis
formal verification
IEC standards
ISO standards
mechanised analysis
1
2
3
4
5
next ›
last »