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
SDN
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
VT-Mininet Vitual-time-enabled Mininet for Scalable and Accurate Software-Define Network Emulation
Submitted by amyclay on Wed, 11/11/2015 - 5:49pm
Science of Security
Mininet
Network Emulation
Science of Security
SDN
UIUC
Virtual Time
network security
NSA SoS Lablets Materials
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
biblio
VT-Miniet: Virtual-time-enabled Mininet for Scalable and Accurate Software-Define Network Emulation
Submitted by amyclay on Wed, 11/11/2015 - 5:49pm
Science of Security
Mininet
Network Emulation
network security
NSA SoS Lablets Materials
Science of Security
SDN
UIUC
Virtual Time
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
biblio
Programmable management framework for evolved SDN
Submitted by BrandonB on Wed, 05/06/2015 - 9:56am
OSGI
telecommunication network management
software-defined networking
software radio
Software
security
SDN philosophy
SDN networks
SDN manager
SDN architecture
SDN
Protocols
programmable management framework
PDEE
autonomic network management
on-the-fly code update
network management
management functions
IP networks
Hardware
FIPA
evolved SDN
distributed execution environment
control systems
computer architecture
codes
code lifecycle management
bottom-up approach
biblio
A Software Defined Self-Aware Network: The Cognitive Packet Network
Submitted by BrandonB on Wed, 05/06/2015 - 9:56am
SAN
telecommunication security
telecommunication computing
Storage area networks
software radio
software defined self-aware network
Software Defined Networks
Software
self-aware networks
self-aware computer network
security
SDN
autonomic communications
quality of service
QoS
network security
measurement based goal driven behaviour
energy savings
energy consumption
delays
CPN
cognitive radio
cognitive packet network
biblio
SDN-based solutions for Moving Target Defense network protection
Submitted by BrandonB on Tue, 05/05/2015 - 11:14am
MTD
software-defined networking
Software Defined Networks
Servers
SDN-based solutions
SDN-based MTD methods
SDN
Reconnaissance
Ports (Computers)
Payloads
network-based MTD techniques
Algorithm design and analysis
moving target defense network protection
moving target defense
delays
countermeasures attackers
computer network security
Cisco onePK
Cisco One Platform Kit
central control point
attack surface obfuscation
biblio
Applying Formal Methods to Networking: Theory, Techniques, and Applications
Submitted by BrandonB on Tue, 05/05/2015 - 9:53am
Internet community
Tutorials
software defined networking
Software
SDN
Protocols
networking protocols
network infrastructure
Mathematics
Internet culture
applying formal methods
Internet architecture
internet
formal verification
formal specifications
formal correctness
Computers
computer networks
Communities
clean slate Internet design
« first
‹ previous
…
10
11
12
13
14
15
16
17
18
