Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Security VO
Home
Archive
About
Search
Calendar
Members
Contact Us
Forums
Files
CPS-VO
»
Science of Security VO
» UIUC
UIUC
biblio
FatTreeSim: Modeling a Large-scale Fat-Tree Network for HPC Systems and Data Centers Using Parallel and Discrete Even Simulation
Submitted by amyclay on Wed, 11/11/2015 - 4:23pm
Science of Security
Simulation
Blue Gene/Q
Datacenter interconnection network
Fat-tree networks
NSA SoS Lablets Materials
Parallel discrete event simulation
Science of Security
simulation
Supercomputer interconnection networks
UIUC
UIUC
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
file
A Virtual Time System for Linux-container-based Emulation of Software-defined Networks
Submitted by amyclay on Wed, 11/11/2015 - 4:06pm
Science of Security
Simulation
Linux Container
Mininet
Network Emulation
software-defined networking
Time Dilation
Virtual Time
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
biblio
A Virtual Time System for Linux-container-based Emulation of Software-defined Networks
Submitted by awhitesell on Wed, 11/11/2015 - 4:06pm
Science of Security
Simulation
Linux Container
Mininet
Network Emulation
software-defined networking
Time Dilation
Virtual Time
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
file
Enforcing Customizable Consistency Properties in Software-Defined Networks
Submitted by awhitesell on Wed, 11/11/2015 - 3:41pm
Science of Security
network security
Science of Security
UIUC
UIUC
Network Security
A Hypothesis Testing Framework for Network Security
biblio
Enforcing Customizable Consistency Properties in Software-Defined Networks
Submitted by awhitesell on Wed, 11/11/2015 - 3:41pm
Science of Security
network security
Science of Security
UIUC
UIUC
Network Security
A Hypothesis Testing Framework for Network Security
biblio
Securing Industrial Control Systems with a Simulation-based Verification System
Submitted by awhitesell on Tue, 01/13/2015 - 12:36pm
Science of Security
network security
Science of Security
UIUC
UIUC
Network Security
A Hypothesis Testing Framework for Network Security
biblio
Towards Correct Network Virtualization
Submitted by awhitesell on Tue, 01/13/2015 - 12:19pm
Science of Security
network security
NSA SoS Lablets Materials
Science of Security
UIUC
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
biblio
Agent-based Modeling of User Circumvention of Security
Submitted by Katie Dey on Fri, 10/24/2014 - 12:51pm
Science of Security
Human and Societal Aspects of Security and Privacy
Human behavior
NSA SoS Lablets Materials
Science of Human Circumvention of Security
Science of Security
SoS Lablet
UIUC
UIUC
Human and Societal Aspects of Security and Privacy
NSA SoS Lablets Materials
Science of Human Circumvention of Security
file
Making Sound Design Decisions Using Quantitative Security Metrics.pdf
Submitted by whs on Thu, 07/24/2014 - 11:26am. Contributor:
William H. Sanders
Presentation at NSA Science of Security Quarterly Meeting, July 2014.
Science of Security
Academia
Presentation
SoS Quarterly Lablet Meeting, July '14 at CMU
UIUC
NSA SoS Lablets Materials
file
Advances on Protocol Indistinguishability Analysis in Maude-NPA
Submitted by Jose Meseguer on Fri, 11/08/2013 - 10:54am. Contributors:
Jose Meseguer
Catherine Meadows
Santiago Escobar
Sonia Santiago
Science of Security
Foundations
NRL
Universitat Politecnica de Valencia
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
UIUC
« first
‹ previous
…
33
34
35
36
37
38
39
40
41
next ›
last »
