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
automation
biblio
Network and Software Architecture Improvements for a Highly Automated, Robust and Efficient Realization of the Italian National Time Scale
Submitted by grigby1 on Fri, 09/09/2022 - 2:21pm
automation
timing
time scale generation
time and frequency laboratory
informatics architecture
Software Architecture
Resiliency
Monitoring
Time measurement
Time Frequency Analysis
Redundancy
Frequency measurement
security
Time-frequency Analysis
software reliability
virtual machine
Robustness
resilience
Cybersecurity
Scalability
maintenance
Software
Metrics
pubcrawl
biblio
Continuous Security Testing: A Case Study on Integrating Dynamic Security Testing Tools in CI/CD Pipelines
Submitted by aekwall on Fri, 08/26/2022 - 12:10pm
security
tools
pubcrawl
Resiliency
composability
testing
Pipelines
Predictive Metrics
automation
Synthetic aperture sonar
application security
Continuous Integration
Continuous Security
devsecops
Dynamic Security Web Testing
Dynamical Systems
biblio
Compositional Non-Interference for Fine-Grained Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:25am
Metrics
Separation Logic
logical relations
fine-grained concurrency
non-interference
Coq
Concurrency
Iris
automation
Concurrent computing
security
Buildings
Computer languages
Manuals
composability
privacy
Resiliency
resilience
pubcrawl
biblio
Backwards-directed information flow analysis for concurrent programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Metrics
weakest-precondition
rely-guarantee-reasoning
information-flow-security
Out of order
Concurrency
automation
Concurrent computing
cognition
security
programming
composability
Analytical models
Hardware
Resiliency
resilience
pubcrawl
biblio
Terminal Security Reinforcement Method based on Graph and Potential Function
Submitted by grigby1 on Fri, 08/26/2022 - 11:08am
security
pubcrawl
Computational modeling
edge computing
Metrics
automation
Computing Theory
security management
biblio
Methods for Determining a Quantitative Indicator of Threats to Information Security in Telecommunications and Industrial Automation Systems
Submitted by grigby1 on Fri, 08/26/2022 - 10:57am
objects of industrial automation systems
threat assessment
Telecommunications
telecommunication systems
security systems
security
Scalability
Resiliency
resilience
Probabilistic logic
pubcrawl
methods for assessing information security threats
Mathematical model
information security threats
information security
Human behavior
expert systems
Communications technology
automation
biblio
R-Chain: A Universally Composable Relay Resilience Framework for Smart Grids
Submitted by aekwall on Fri, 08/12/2022 - 3:53pm
authentication
automation
composability
Cryptography
Key derivation
performance evaluation
Protocols
pubcrawl
Ransomware
relay resilience
Smart Grids
universal composability
biblio
Communication Security Design of Distribution Automation System with Multiple Protection
Submitted by grigby1 on Fri, 07/29/2022 - 5:14pm
encryption
pubcrawl
resilience
Resiliency
Conferences
computer security
power grids
Consumer electronics
automation
Operating systems security
communication security
distribution automation system
encryption distribution terminal
multiple protection
biblio
A Review on Internet of Things Based Door Security
Submitted by grigby1 on Fri, 07/29/2022 - 9:43am
blockchain
pattern locks
webcamera
solenoid lock
FFT
Bluetooth sensor
Arduino
automation
Employment
IoT
Data Security
tools
Fingerprint recognition
home automation
Scalability
security
Hardware
Resiliency
resilience
Human behavior
pubcrawl
biblio
Vulnerability Assessment and Attack Simulation of Power IoT Based on the Attractiveness of Equipment Assets
Submitted by grigby1 on Fri, 07/29/2022 - 9:02am
tools
pubcrawl
resilience
Resiliency
Conferences
Software
Hardware
Scalability
Metrics
information management
vulnerability assessment
automation
power systems
power IoT
attack simulation
power grid vulnerability analysis
1
2
3
4
5
6
7
8
9
…
next ›
last »
