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
process control
biblio
Formal Verification Technology for Asynchronous Communication Protocol
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
aerospace FPGA software products
assert
asynchronous communication
asynchronous communication protocol
blind spots
Clocks
collaboration
complete verification process
composability
Compositionality
field programmable gate arrays
formal verification
formal verification technology
policy-based governance
privacy
process control
Product design
product design quality
property
protocol verification
Protocols
PSL
pubcrawl
Software
traditional simulation method
UART communication
verification work efficiency
biblio
Determining a Security Roadmap for the Microelectronics Industry
Submitted by
grigby1
on Wed, 09/11/2019 - 1:43pm
advanced process control efforts
Big Data
big data explosion
Cloud Computing
cloud-based solutions
composability
data sharing
data systems
electronic equipment manufacture
electronics industry
industrial property
Industry 4.0
industry-wide standards
information security
International Roadmap for Devices and System Factory Integration International Focus Team
IP networks
IP security
IRDS FI IFT
manufacturing
Metrics
Microelectronics
microelectronics manufacturing industry
Microelectronics Security
microfabrication
process control
production engineering computing
pubcrawl
resilience
Resiliency
security
security maintenance
security of data
security technology roadmap
smart manufacturing
standards
Supply Chain
supply chain management
technological forecasting
biblio
Trust-Based Framework for Resilience to Sensor-Targeted Attacks in Cyber-Physical Systems
Submitted by
grigby1
on Mon, 08/05/2019 - 10:36am
closed loop systems
closed-loop control
collaboration
communication infrastructure
compromised sensors
computer network security
cyber-physical plants
cyber-physical systems
entire plant
false data injections
false trust
far-flung locations
feedback
feedback signal
interconnected processes
local data
local process
malicious agents
Measurement
Monitoring
multisensor networked physical experiment
networked control systems
Observers
policy-based governance
primary sensor
process control
process state
pubcrawl
resilience
Resiliency
Safety
Scalability
security
sensor-targeted attacks
sensors
Silicon
stability
standard protocols
state estimates
state estimation
trust-based framework
Trusted Computing
weighted consensus
wireless sensor networks
biblio
The Urgency of the Threats of Attacks on Interfaces and Field-Layer Protocols in Industrial Control Systems
Submitted by
grigby1
on Thu, 05/09/2019 - 9:46am
Current loop
Current measurement
HART-protocol
industrial control
industrial control system
industrial control system field layer
industrial control system information security
Industrial Control Systems
information security systems
integrated circuits
process control
Protocols
pubcrawl
resilience
Resiliency
Scalability
scalable
security of data
sensors
biblio
Network Security Situation Awareness for Industrial Control System Under Integrity Attacks
Submitted by
grigby1
on Thu, 05/09/2019 - 9:45am
Communication networks
computer network security
control systems
hazard situation detection
industrial control
industrial control system
industrial control system network
Industrial Control Systems
integrated circuits
integrity attacks
local estimator
malicious attacks
network security situation awareness
nonlinear systems
novel security situation awareness framework
particle filtering
particle filtering (numerical methods)
Prediction algorithms
process control
pubcrawl
resilience
Resiliency
Scalability
scalable
Sensor Systems
Situation Awareness
situation prediction algorithm
state estimation
system state estimation
telecommunication security
biblio
Security system based on microcontrollers
Submitted by
aekwall
on Mon, 03/25/2019 - 8:57am
security
Monitoring
Resiliency
Human behavior
pubcrawl
composability
Metrics
internet
Temperature sensors
microcontrollers
carbon monoxide level measurement
computerised instrumentation
development board Arduino
Ethernet interface
file servers
humidity measurement
Intelligent sensors
level measurement
Local area networks
magnetic contact
Magnetic field measurement
magnetic sensors
microcontroller
microsensors
movement detection measurement
process control
security system
sensor modules
single-chip microcontrollers
Smart Home
Temperature measurement
unauthorized entrance detection
Web server implementation
Web servers
sensor security
biblio
LUCON: Data Flow Control for Message-Based IoT Systems
Submitted by
grigby1
on Thu, 02/14/2019 - 10:20am
data privacy
Internet of Things
Temperature measurement
pubcrawl
Metrics
composability
sensors
computer network security
middleware
taint analysis
data flows
authorisation
private data
Access Control
Semantics
usage control
data flow control
data-centric security policy framework
distributed systems
Industrial Internet of Things
Information Flow Control
information leaks
IoT applications
LUCON policies
message routes
message-based IoT systems
personal information
policy enforcement
process control
real-world IoT middleware
Runtime
usage control mechanisms
biblio
Towards trustworthy data in networked control systems: A hardware-based approach
Submitted by
grigby1
on Fri, 10/26/2018 - 3:52pm
captured sensor data
Communication channels
controlled process
correct functionality
Cryptography
delays
denial-of-service attacks
encrypted data
encryption
forward error correction
hardware-based approach
Loss measurement
malfunctioning systems
NCS
Networked Control System
networked control systems
process control
pubcrawl
Resiliency
Scalability
security
smart factories
telecommunication security
transferred data needs
trustworthy data
biblio
Towards scalable and adaptable security monitoring
Submitted by
grigby1
on Fri, 09/28/2018 - 3:15pm
adaptable security monitoring
composability
control system security
cyber-physical systems
data reduction
data reduction approaches
edge detection
Image edge detection
industrial control
Industrial Control Systems
integrated circuits
intrusions
Metrics
Monitoring
physical isolation
physical- cyber domain
process control
proprietary technology
Protocols
pubcrawl
resilience
Resiliency
Scalability
scalable security monitoring
security
security of data
biblio
The fuzzy control of trust establishment
Submitted by
grigby1
on Thu, 08/23/2018 - 10:47am
Access Control
attribute certificate
authorisation
Automated Trust Negotiation
computer theory
digital credentials
Fuzzy
fuzzy control
fuzzy negotiation process
fuzzy set theory
Fuzzy sets
Human behavior
Human Factors
Libraries
model
mutual trust
negotiation process
negotiation strategy need
open network environment
process control
pubcrawl
Servers
strange entities
traditional ATN
trust
trust establishment
Trusted Computing
unnecessary negotiation failure
1
2
3
next ›
last »
