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
real-time systems
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
A Framework for Integrating Big Data Security Into Agricultural Supply Chain
Submitted by
grigby1
on Thu, 03/12/2020 - 12:08pm
advanced monitoring systems
agricultural products
agricultural supply chain management system
Agricultural supply chains
Agriculture
Big Data
big data security
Data integration
food processing industry
food production
food safety
food supply chain system
food waste
food waste reduction
Human behavior
Internet of Things
Monitoring
perishable products
Productivity
pubcrawl
Real time control
real-time systems
reliability system
resilience
Resiliency
Scalability
security
security of data
supply chain management
supply chain security
supply chains
sustainability requirements
waste reduction
biblio
Time-Related Hardware Trojan Attacks on Processor Cores
Submitted by
grigby1
on Wed, 02/26/2020 - 4:39pm
Clocks
cyber physical systems
design security
extra power consumption
Hardware
hardware trojan
Hardware Trojan designs
internal information
invasive software
Kernel
microprocessor chips
modern electronic systems
Payloads
pubcrawl
Random access memory
real-time clock
real-time clock circuits
real-time systems
relative-time based Trojan
resilience
Resiliency
RISC-V processor
specific realworld time
specific time period passes
supply chain security
system power-on
time information
time-related Hardware Trojan attacks
trigger conditions
trojan horse detection
Trojan horses
biblio
Incorporating Monitoring Points in SDN to Ensure Trusted Links Against Misbehaving Traffic Flows
Submitted by
grigby1
on Wed, 02/26/2020 - 4:35pm
Anomaly Detection
behavior monitoring unit
communication links
composability
computer network security
computer networking
computer networks
control systems
data streams
information technology
internet
Internet connectivity
Market research
misbehaving traffic flows
misconfigured devices
Monitoring
monitoring points
network devices
network links
Network Monitoring
network traffic
ongoing attacks
OpenFlow
process control
pubcrawl
real-time systems
Routing
Scalability
SDN controller
SDN design
software defined networking
software-defined networking
Software-defined networking (SDN)
telecommunication traffic
traffic anomalies
traffic behavior monitoring
traffic information
traffic monitoring
traffic streams
Trust Routing
trusted communication links
Trusted Computing
biblio
Toward Resilient Stream Processing on Clouds Using Moving Target Defense
Submitted by
grigby1
on Tue, 02/18/2020 - 12:06pm
Apache Storm
Big Data
Big Data platforms
canonical distributed stream processing platform
Cloud Computing
clouds
distributed clusters
Distributed databases
Fast Data platforms
Metrics
moving target defense
MTD
operating system
Payloads
pubcrawl
real-time stream processing
real-time systems
resilience
Resiliency
resilient stream processing
Runtime
Scalability
security of data
sensitive streaming applications
shared computing resources
Storms
Task Analysis
virtual machine
virtual machines
biblio
Design and Verification of Integrated Ship Monitoring Network with High Reliability and Zero-Time Self-Healing
Submitted by
grigby1
on Mon, 02/17/2020 - 5:13pm
communication technology
composability
computer network reliability
computerised monitoring
Ethernet
High reliability
integrated ship monitoring network
Local area networks
maintenance engineering
Marine vehicles
Monitoring
network cables
network performance test environment
optical switches
pubcrawl
real-time systems
Redundancy
resilience
Resiliency
self-healing network switch
self-healing networks
ship monitoring equipment
Ship monitoring network
ships
telecommunication network planning
Zero-time self-healing
zero-time self-healing network communication technology
biblio
Intelligent System Intricacies: Safety, Security and Risk Management Apprehensions of ITS
Submitted by
aekwall
on Mon, 02/17/2020 - 2:27pm
emergency management
emergency management system
Emergency Management System (EMS)
Environmental management
information and communications technologies
Intelligent systems
Intelligent Transportation System
Intelligent Transportation System (ITS)
Intelligent Transportation Systems
ITS
Metrics
pubcrawl
real-time systems
Resiliency
risk management
Safety
Scalability
security
security and risk management apprehensions
Security Risk Management
Sydney Metro's EMS
Transportation
biblio
IoT Architecture for Smart Grids
Submitted by
aekwall
on Mon, 02/10/2020 - 12:06pm
Internet of Things
embedded systems
real-time systems
Resiliency
pubcrawl
internet
Smart Grids
smart power grids
power engineering computing
distributed power generation
renewable energy
sensors
Human Factors
Energy storage
Microgrids
Wind farms
wind turbines
smart cities
Compositionality
active distribution networks
Communications technology
congestion management
distribution level
energy storage facilities
industrial sector
information and communications technology
Internet of energy (IoE)
Internet of Things (IoT)
IoT architecture
IoT-based technologies
modern communicational platforms
Renewable Energy Resources
smart buildings
Smart grid 2.0
thermal generation
wind energy
Smart Grid Sensors
biblio
Micro-Kernel OS Architecture and its Ecosystem Construction for Ubiquitous Electric Power IoT
Submitted by
aekwall
on Mon, 02/10/2020 - 11:58am
computer architecture
Containers
ecosystem construction
embedded virtualization
functional security
Human Factors
information security
intelligent interconnection technology
intelligent NARI microkernel
Internet of Things
IoT
IoT OS
Linux
Linux Container
Made in China 2025
Metrics
microkernel
microkernel OS architecture
mimicry defense
multicore computing security
NARI microkernel OS
native process sandbox
network security
operating system
operating system kernels
POSIX standard API
power engineering computing
power systems
process based fine-grained real-time scheduling algorithm
pubcrawl
real-time OS
real-time systems
Resiliency
Scalability
scheduling
security
security mechanism design
security of data
service process binding
sigma0 efficient message channel
Task Analysis
Trusted Computing
Ubiquitous Computing Security
ubiquitous electric power Internet of Things
ubiquitous electric power IoT
Virtualization
biblio
A Novel Key-Value Based Real-Time Data Management Framework for Ship Integrated Power Cyber-Physical System
Submitted by
grigby1
on Mon, 01/27/2020 - 12:27pm
Big Data
Cyber Physical System
cyber-physical system
cyber-physical systems
data handling
Data models
Data processing
data-driven intelligence
delays
generation ship integrated power system
Human behavior
Human Factors
Integrated Power System
IPS
key-value data model
Key-value Store
marine engineering
Marine vehicles
Metrics
open source in-memory key-value store
power engineering computing
power system management
power systems
pubcrawl
Real-time Data Management
real-time data management prototype system
real-time data processing
real-time systems
relational data management
relational databases
resilience
Resiliency
Scalability
ship Big Data
ship integrated power cyber-physical system
ship integrated power cyber-physics system
ships
storage management
1
2
3
4
5
6
7
8
9
…
next ›
last »
