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
space missions
biblio
A Top Down Approach for Eliciting Systems Security Requirements for a Notional Autonomous Space System
Submitted by aekwall on Mon, 11/16/2020 - 2:57pm
system life cycle
ISO/IEC/IEEE 152SS
NIST SP SOO-160
notional autonomous space system
notional space system
secure cyber-physical systems
software engineering processes
space missions
Space vehicles
STPA-Sec
functional-level security requirements
system operation
system-theoretic process analysis approach for security
systems security analysis
systems security engineering
systems security requirements
top down approach
top down systems security requirements analysis approach
traceable security
Resilient Security Architectures
Software Architecture
security of data
security
cyber-physical systems
Resiliency
pubcrawl
Cybersecurity
Stakeholders
IEC standards
ISO standards
Safety
resilience
Formal Specification
aerospace computing
IEEE standards
requirements analysis
system architecture
resiliency requirements
architectural-level security specifications
biblio
Preliminary results from a model-driven architecture methodology for development of an event-driven space communications service concept
Submitted by grigby1 on Thu, 12/28/2017 - 1:40pm
Aerospace electronics
computer architecture
Data models
Object oriented modeling
pubcrawl
Scalability
security scalability
Space communications
space missions
biblio
TPM-supported key agreement protocols for increased autonomy in constellation of spacecrafts
Submitted by grigby1 on Mon, 11/13/2017 - 12:00pm
pubcrawl
TT&c
trusted platform modules
Trusted Platform Module
TPM-supported key agreement protocols
spacecrafts
Space vehicles
space missions
space communication links
security mechanisms
Resiliency
composability
Protocols
protocol iterations
payload links
opportunistic control center
Jamming
encryption
DH-HEMTs
Cryptographic Protocols
cryptographic keys
