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
verification
biblio
"Verification for Security-Relevant Properties and Hyperproperties"
Submitted by grigby1 on Thu, 02/23/2017 - 12:37pm
model checking
wireless sensor networks
verification
Time factors
security-relevant property verification
security-relevant properties
security policy
Safety
pubcrawl
program verification
privacy analysis
Access Control
liveness
hyperproperty verification
hyperproperty
fairness
embedded systems
pubcrawl170105
data privacy preservation
data privacy
Computational modeling
file
safe06-Alsaleh.pdf
Submitted by ealshaer on Wed, 12/21/2016 - 3:05am
active cyber defense
Resiliency
SDN
verification
biblio
Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks
Submitted by ealshaer on Wed, 12/21/2016 - 3:05am
active cyber defense
Resiliency
SDN
verification
file
08 SoS Quarterly Meeting July2016 Godfrey.pdf
Submitted by awhitesell on Mon, 11/14/2016 - 4:43pm
Science of Security
Validation and Verification
network control systems
Science of Security
validation and verification
verification
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
biblio
A Hypothesis Testing Framework for Network Security
Submitted by awhitesell on Mon, 11/14/2016 - 4:42pm
Science of Security
Validation and Verification
network control systems
Science of Security
validation and verification
verification
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
file
Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking
Submitted by amyclay on Mon, 11/23/2015 - 6:01pm
DTMC estimation
iLTL
networks
Performance
performance evaluation
Probabilistic Model Checking
Reliability
statistical testing
TDoA
verification
wireless sensor
UIUC
biblio
Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking
Submitted by amyclay on Mon, 11/23/2015 - 6:01pm
DTMC estimation
iLTL
networks
Performance
performance evaluation
Probabilistic Model Checking
Reliability
statistical testing
TDoA
verification
wireless sensor
UIUC
biblio
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Submitted by amyclay on Tue, 11/17/2015 - 5:26pm
biological networks
hybrid systems
invariants
verification
UIUC
file
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Submitted by amyclay on Tue, 11/17/2015 - 5:26pm
biological networks
hybrid systems
invariants
verification
UIUC
file
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Submitted by amyclay on Tue, 11/17/2015 - 3:40pm
Medical Devices
Health Care
Science of Security
biological networks
hybrid systems
invariants
pacemakers.
Safety
UIUC
verification
health care
medical devices
NSA SoS Lablets Materials
Science of Security
UIUC
NSA SoS Lablets Materials
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
next ›
last »
