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
network verification
biblio
Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification
Submitted by aekwall on Mon, 05/03/2021 - 12:14pm
packet forwarding
packet equivalence class
network verification
impact range recognition
Hasse diagram
scalable verification
Compositionality
Predictive Metrics
Scalability
Cloud Computing
Firewalls (computing)
detection algorithms
pubcrawl
Resiliency
Internet of Things
Access Control
Servers
IP networks
file
High-Coverage Testing of Softwarized Networks.pdf
Submitted by awhitesell on Mon, 10/15/2018 - 12:55pm
correctness
network verification
UIUC
UIUC
Automated Synthesis Framework for Network Security and Resilience
biblio
High Coverage Testing of Softwarized Networks
Submitted by awhitesell on Mon, 10/15/2018 - 12:55pm
correctness
network verification
UIUC
UIUC
UIUC
Automated Synthesis Framework for Network Security and Resilience
biblio
A General Approach to Network Configuration Verification
Submitted by grigby1 on Thu, 05/24/2018 - 11:22am
Compositionality
Control plane analysis
network verification
Policy
policy-based collaboration
privacy
protocol verification
pubcrawl
biblio
Privacy-Preserving Detection of Inter-Domain SDN Rules Overlaps
Submitted by K_Hooper on Wed, 05/09/2018 - 10:01am
Inter-domain routing
network verification
privacy
pubcrawl
Resiliency
Scalability
Security by Default
SMPC
file
09152015 Godfrey slides.pdf
Submitted by awhitesell on Fri, 11/11/2016 - 4:45pm
Science of Security
network verification
Science of Security
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 Fri, 11/11/2016 - 4:45pm
Science of Security
network verification
Science of Security
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
