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
process control systems
biblio
Assessment of the Applicability of Autoencoders in the Problem of Detecting Anomalies in the Work of Industrial Control Systems.
Submitted by grigby1 on Tue, 03/30/2021 - 10:53am
industrial facilities
Task Analysis
Scalability
Resiliency
resilience
pubcrawl
process control systems
process control
Neurons
machine learning
learning (artificial intelligence)
integrated circuits
information security
Industries
anomalies detection
industrial control systems (ICS)
industrial control system
industrial control
ICS Anomaly Detection
deep learning
Decoding
convolutional neural networks
convolutional neural nets
control engineering computing
complex problems
classification problems
autoencoders
auto-encoders
biblio
Design, Verification and Implementation of a Lightweight Remote Attestation Protocol for Process Control Systems
Submitted by grigby1 on Thu, 05/24/2018 - 11:22am
Remote Attestation
policy-based collaboration
privacy
process control
process control systems
program verification
protocol implementation
protocol verification
Protocols
pubcrawl
Policy
remote network infrastructures
Romania
Scyther model checking tool
secure software integrity verification scheme
security
Software
software integrity
specialized components
industrial applications
commodity-off-the-shelf hardware
commodity-off-the-shelf software
Compositionality
COTS
Cryptographic Protocols
data integrity
formal verification
gas transportation network automation
Hardware
closed process control applications
industrial communications
industrial control
isolated components
lightweight remote attestation protocol
Nickel
PCS
Phoenix-Contact industrial controller
physically secured locations
page
Attack models and scenarios for networked control systems
Submitted by Katie Dey on Wed, 10/10/2012 - 9:33pm
ABSTRACT:
Secure Control Systems
Science of Security
Attack Diagnosis
Yilin Mo
Bruno Sinopoli
Carnegie Mellon University
attack space
process control systems
security theory
unauthorized access
HiCONS 2012
Academia
