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
assurance
biblio
A Supply Chain Service Cybersecurity Certification Scheme based on the Cybersecurity Act
Submitted by grigby1 on Fri, 04/14/2023 - 4:04pm
Chained Attacks
Vaccines
Supply Chain Service (SCS)
Liquefied natural gas
European Cybersecurity Certification
Conformity Assessment
assurance
ISMS
Resiliency
information security
supply chains
Economics
Europe
Containers
Scalability
resilience
pubcrawl
security
biblio
Cybersecurity of healthcare IoT-based systems: Regulation and case-oriented assessment
Submitted by grigby1 on Thu, 04/21/2022 - 3:09pm
Advanced Security Assurance Case
ASAC
Assessment
assurance
CASE
Cloud Computing
Communication system security
computer security
Cybersecurity
Healthcare
Internet of Things
ISO standards
Medical services
requirement
biblio
How to Quantify the Security Level of Embedded Systems? A Taxonomy of Security Metrics
Submitted by grigby1 on Mon, 08/02/2021 - 3:40pm
assurance
Conferences
embedded systems
evaluation
Hardware
Measurement
Metrics
metrics testing
pubcrawl
Quantitative Security
security
security level
security measurement
Security Metrics
Software
taxonomy
biblio
Toward a framework for assessing the cyber-worthiness of complex mission critical systems
Submitted by aekwall on Mon, 10/05/2020 - 11:46am
initial framework
threat models
threat modelling
threat actor
system safety engineering
SysML
strong level
security of data
security
risk management
Resiliency
resilience
pubcrawl
military systems
military computing
Large-scale systems
Accreditation
highly contested cyber environment
high level threat actors
embedded systems
cyber-worthiness
cyber-physical systems
cyber physical systems
cyber
CPS resilience
computer security
complex systems
complex mission critical systems
complex military systems
certification
assurance
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by aekwall on Mon, 02/10/2020 - 12:10pm
pragmatic assurance
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
conventional machine-learned
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
uncertainty
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
security
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
biblio
Cybersecurity assurance control baselining for smart grid communication systems
Submitted by aekwall on Mon, 08/05/2019 - 10:42am
Smart Grid
Resiliency
security assurance controls
security baseline
security categorization
security impact levels
security level
security levels
security of data
Security Technical Implementation Guides
security zone
recent innovative risk-based approaches
smart grid communication networks
smart grid communication systems
smart grid security architecture
smart grid system architecture
Smart Grids
standards
Systems Security
technical functional controls
US Defense Information Systems Agency
Human behavior
assurance
assurance baseline
Business
composability
computer security
control systems
cybersecurity assurance base lining concepts
cybersecurity assurance control baselining
cybersecurity assurance controls
Networked Control Systems Security
IEC standards
industrial automation
Information Assurance
Information systems
key cybersecurity control baselining
Metrics
national security systems
policy-based governance
pubcrawl
biblio
Measuring Software Security from the Design of Software
Submitted by grigby1 on Fri, 02/02/2018 - 1:28pm
Security Metrics
pubcrawl
assurance
composability
computer security
evaluation
Measuring Security
Metrics
Scalability
software assurance
software design
software security
file
Model Based Engineering: Software Quality Metrics and Assurance Cases
Submitted by jonespl on Tue, 05/10/2016 - 8:46pm. Contributor:
Paul Jones
Modeling
Validation and Verification
Metrics
assurance
tool chains
2016
FDA
U.S. Government
Presentation
Meeting #17
file
Assurance Through Comprehensive Formal Verification
Submitted by JohnCKnight on Tue, 05/10/2016 - 8:46pm. Contributor:
John C. Knight
Modeling
Validation and Verification
Foundations
PVS
Simulink
assurance
2016
Academia
Presentation
Meeting #17
file
Model-Based Assurance Challenges for Self-Driving Cars
Submitted by pjoannou on Tue, 05/10/2016 - 8:46pm. Contributor:
Krzysztof Czarnecki
Automotive
Architectures
Testing
Modeling
Transportation
Validation and Verification
assurance
analysis
2016
Academia
Industry
Presentation
Meeting #17
1
2
next ›
last »
