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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
security model
biblio
Security Analysis of Intelligent Transportation Systems Based on Simulation Data
Submitted by
grigby1
on Fri, 05/08/2020 - 4:40pm
security of data
security
pubcrawl
resilience
Resiliency
Analytical models
information security
composability
Information systems
Security analysis
Buildings
Metrics
security model
Intelligent Transportation Systems
ITS
ITS system
layered network security model
malicious node threat
road safety
road traffic
roadside infrastructure units
threat model
traffic control
traffic engineering computing
Transportation
transportation efficiency
transportation security
vehicle ad hoc networks
Veins
Networked Control Systems Security
biblio
Research on the Simulation Algorithm of Object-Oriented Language
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
cache storage
Complexity theory
composability
dynamic protection
Extraterrestrial measurements
GUT
inheritance
Local area networks
low-energy independence complexity theory
Metrics
mixed object oriented language
Object oriented modeling
object oriented security
Object-Oriented Language
object-oriented languages
object-oriented programming
process language
pubcrawl
pure object oriented language
resilience
Resiliency
safety-critical software
security model
simulation algorithm
static protection
system analysis and design
visualization
write-back cache
biblio
Code-based Pseudorandom Generator for the Post-Quantum Period
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
pubcrawl
Resiliency
Generators
Cryptography
Prototypes
Metrics
Decoding
Compositionality
provable security
“Provable”
Code-based Pseudorandom Number Generator
Cryptographically Resistance Pseudorandom Sequences
Fischer-Stern Generator
Periodic Properties
Random sequences
Resistance
security model
resilience
biblio
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems
Submitted by
aekwall
on Mon, 03/16/2020 - 10:40am
attacker model
authenticated encryption
authorisation
capability lists
Compositionality
crypto handshake
Cryptography
data bus
data centric access control
Data Distribution Service
default plugin specifications
digital signatures
distributed networked systems
electronic data interchange
formal verification
Industrial IoT
initial ratification
internet
interoperable data exchange
IoT protocol
leaked context
middleware
Network reconnaissance
open systems
Peer-to-peer computing
permission attestation
Predictive Metrics
Protocols
pubcrawl
realtime peer-to-peer protocol
Resiliency
Scalability
scalable middleware
scalable verification
secure DDS systems
Secure DDS v
security
Security by Default
security model
Service Plugin Interface architecture
vulnerability excavation
biblio
A security model for Wireless Sensor Networks
Submitted by
aekwall
on Mon, 02/10/2020 - 11:43am
Resiliency
pubcrawl
composability
authentication
Predictive Metrics
inference
security framework
security model
WSN security
Microelectronics Security
biblio
A Learning Kit on IPv6 Deployment and Its Security Challenges for Neophytes
Submitted by
grigby1
on Tue, 01/21/2020 - 12:09pm
collaboration
composability
computer network security
IP networks
IPv6 deployment
IPv6 environment
ipv6 security
IT personnel
learning kit
Metrics
neophyte
neophytes
network security
Organizations
Personnel
policy-based governance
pre-alpha testing
Protocols
pubcrawl
resilience
Resiliency
security
security challenges
security model
self-learning
Software
tools
Training
biblio
IoT Security Model and Performance Evaluation: A Blockchain Approach
Submitted by
grigby1
on Tue, 12/17/2019 - 12:21pm
Internet of Things
security of data
resilience
pubcrawl
Metrics
Resiliency
composability
performance evaluation
blockchain
Cryptography
System performance
cyber-physical systems
Public key
cyber-physical system
blockchain technology
Throughput
security problems
IoT security model
Concurrency
blockchain-based security model
concurrency (computers)
distributed large capacity storage
InterPlanetary File System
model construction
Packaging
security model
security risks
theoretical data support
Predictive Metrics
biblio
IoTSM: An End-to-End Security Model for IoT Ecosystems
Submitted by
grigby1
on Wed, 10/30/2019 - 10:30am
Pervasive Computing Security
collaboration
Companies
comparability
composability
Ecosystems
end-to-end IoT security
end-to-end security
end-to-end security model
Human behavior
Internet of Things
Interviews
IoT
IoT devices
IoT ecosystems
IoT organizations
IoT practitioners
IoT security model
IoTSM
Metrics
pubcrawl
Resiliency
Scalability
Science of Security
secure development
security
security model
security of data
Security Practices
Software
software assurance
software assurance maturity model framework
telecommunication security
biblio
Secure Proof of Retrievability System in Cloud for Data Integrity
Submitted by
grigby1
on Mon, 08/05/2019 - 11:30am
AES encryption
Application software
Ciphers
Cloud Auditing
Cloud Computing
Cloud Controller (CSC)
cloud service controller
Cloud storage (CST)
Compositionality
computational cost
Cryptography
data integrity
data storage
Databases
encryption
encryption audits
file upload phase
Generators
integrity verification
Metrics
proof of retrievability
pubcrawl
resilience
Resiliency
retrievability system
security model
security of data
Servers
SHA-S12
storage management
tag generation
third party auditor
Third Party Auditor (TPA)
biblio
Property Specific Information Flow Analysis for Hardware Security Verification
Submitted by
grigby1
on Mon, 05/20/2019 - 4:30pm
Acceleration
collaboration
Complexity theory
composability
Control Theory
Design methodology
formal verification
Hardware
hardware information flow analysis
Hardware Security
hardware security verification
hardware security vulnerabilities
Hardware Trojans
Human behavior
Human Factors
information flow analysis
information flow models
information flow security
information theoretic security
Mathematical model
Metrics
policy-based governance
potential security violations
property specific information flow analysis
property specific search
property specific trimming technique
pubcrawl
resilience
Resiliency
Scalability
security
security critical paths
security model
security of data
security property
security verification
timing
Trojan horses
unintended design flaws
1
2
next ›
last »
