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
trusted systems
biblio
Auditing a Software-Defined Cross Domain Solution Architecture
Submitted by grigby1 on Fri, 01/06/2023 - 3:05pm
Access Control
trusted systems
Cross Domain Solution
Configuration Security
Architecture Description Language
trustworthiness
Security analysis
Data protection
Trusted Computing
Mission critical systems
Air gaps
computer architecture
composability
Computational modeling
Data models
Hardware
Software
Resiliency
resilience
Metrics
Human behavior
pubcrawl
biblio
Improving Security in SCADA Systems through Model-checking with TLA+
Submitted by grigby1 on Mon, 03/14/2022 - 11:36am
pubcrawl
Human behavior
resilience
Resiliency
SCADA systems
cyber-physical systems
Compositionality
manufacturing
formal specifications
Transportation
Circuits and systems
SCADA Systems Security
cyberphysical security
human factors impacting security
specification languages
trusted systems
