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
complexity
biblio
Assurance Case Along a Safety Continuum
Submitted by grigby1 on Fri, 02/17/2023 - 5:42pm
software assurance
Goal-based regulatory Oversight
Aircraft propulsion
Uncertainty in Performance
UAS
UAM
Through-life Assurance Case
Safety Performance Indicators
Safety Continuum
Performance Based Assurance Case
Epistemic Safety
dynamic systems
autonomous systems
Acceptable Safety
machine learning
AI
Technological innovation
Aircraft
Aerospace electronics
Atmospheric modeling
complexity
certification
Ecosystems
Scalability
Safety
Resiliency
resilience
pubcrawl
biblio
Holistic Assurance Case for System-of-Systems
Submitted by grigby1 on Fri, 02/17/2023 - 5:41pm
Hazards
Uncertainty in Performance
UAS
UAM
Through-life Assurance Case
Safety Performance Indicators
Safety Continuum
Performance Based Assurance Case
Goal-based regulatory Oversight
Epistemic Safety
dynamic systems
autonomous systems
Aircraft manufacture
Acceptable Safety
software assurance
Organizations
Stakeholders
supply chains
AI
complexity
Standards organizations
certification
Ecosystems
Scalability
Safety
Resiliency
resilience
pubcrawl
machine learning
biblio
Design and Analysis of Hash Algorithm Using Autonomous Initial Value Proposed Secure Hash Algorithm64
Submitted by grigby1 on Thu, 06/09/2022 - 2:39pm
pubcrawl
resilience
Cryptography
Memory management
complexity
Compositionality
Input variables
Hash functions
hash algorithms
smart cards
Focusing
SHA
Resiliency
codes
One-way Function
passwords
biblio
Fast and Efficient Chaos-Based Algorithm for Multimedia Data Encryption
Submitted by grigby1 on Thu, 05/05/2022 - 3:12pm
complexity
efficient encryption
key space
mechatronics
cyber physical system security framework
communication
Algorithm
running time
cyber physical systems
Color
tools
chaos
Streaming media
composability
Correlation
Resiliency
resilience
pubcrawl
encryption
Ciphers
biblio
Complexity-Based Convolutional Neural Network for Malware Classification
Submitted by grigby1 on Tue, 09/21/2021 - 3:55pm
malware classication
static analysis
scientific computing
Robustness
Resiliency
resilience
pubcrawl
privacy
Metrics
malware classification
complexity
malware
machine learning
Image Processing
Human behavior
Fractals
feature extraction
convolutional neural network
computer architecture
biblio
ERAMIS: A Reference Architecture-Based Methodology for IoT Systems
Submitted by grigby1 on Fri, 05/08/2020 - 2:20pm
methodology
Software Architecture
Security Properties
security of data
security
Resiliency
resilience
reference architecture-based methodology
pubcrawl
operational security services
object-oriented programming
object oriented security
Metrics
architecture
ISO standards
IoT-enabled applications
IoT systems
IoT
Internet of Things
IEC standards
ERAMIS methodology
design features
computer architecture
composability
complexity
Business
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by grigby1 on Fri, 04/03/2020 - 12:43pm
refined intruder model
powerful intruders
privacy
protocol execution
protocol theories
protocol verification
Protocols
PSPACE-complete
pubcrawl
reachability analysis
real-time systems
policy-based governance
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
Servers
service resource usage
service unavailable
tools
unlimited resources
Denial of Service attacks
Analytical models
Bandwidth
collaboration
complexity
composability
Compositionality
computational complexity
Computer crime
computer network security
DDoS
amplification DoS attacks
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
Formal Specification
formal verification
formal verification model
Policy Based Governance
biblio
Research on Parallel Dynamic Encryption Transmission Algorithm on VoIP
Submitted by aekwall on Wed, 05/01/2019 - 1:04pm
Dynamical Systems
VoIP
parallel dynamic encryption algorithm
complexity
Metrics
composability
pubcrawl
Resiliency
security
biblio
Security Game with Non-additive Utilities and Multiple Attacker Resources
Submitted by grigby1 on Fri, 10/26/2018 - 5:04pm
pubcrawl
game theoretic security
Human Factors
Metrics
Scalability
complexity
computational game theory
Security games
biblio
Detecting Advanced Persistent Threats Using Fractal Dimension Based Machine Learning Classification
Submitted by grigby1 on Tue, 09/05/2017 - 1:19pm
Human behavior
Scalability
Resiliency
remote trojans
pubcrawl
multifractal
Metrics
malware classification
machine learning
advanced persistent threat
False Data Detection
cyber threats
composability
complexity
collaboration
classification
advanced persistent threats (apt)
advanced persistent threats
1
2
next ›
last »
