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
Denial-of-Service
biblio
Quantifying the Spectrum of Denial-of-Service Attacks Through Internet Backscatter
Submitted by grigby1 on Thu, 08/23/2018 - 11:43am
Compositionality
pubcrawl
composability
Cryptography
threat intelligence
computational intelligence
backscatter
Denial-of-Service
telescope
biblio
Analysis of Cyber Physical Systems Security via Networked Attacks
Submitted by grigby1 on Mon, 03/19/2018 - 1:49pm
security
Metrics
MITM
networked attacks
Networked Control System
networked control systems
pubcrawl
resilience
Resiliency
Mathematical model
Security Control
security of data
security perspective
Stealth Attack
system security conditions
telecommunication security
Telecommunications
unified models
cyber-physical systems
actuators
Analytical models
closed-loop security control structure
composability
computer network security
Cyber Attacks
cyber physical systems
Cyber Physical Systems Security
actuator security
defense functions
Denial-of-Service
DoS
Human behavior
information disclosure
Iron
man-in-the-middle attack
biblio
Inferring OpenFlow Rules by Active Probing in Software-Defined Networks
Submitted by grigby1 on Tue, 02/06/2018 - 2:05pm
delays
Receivers
Reconnaissance
Resiliency
rule inference
security threats
software defined networking
Software-Defined Networks
telecommunication security
active probing
Apriori algorithm
clustering
control systems
controllers
reactive rules
Denial-of-Service
DoS attacks
inferring sdn by probing and rule extraction
INSPIRE
IP networks
k-means clustering
Network reconnaissance
OpenFlow rules
packet delay time
Probes
Probing
probing packets
pubcrawl
biblio
Detection and prevention of DoS attacks in Software-Defined Cloud networks
Submitted by grigby1 on Tue, 01/16/2018 - 6:25pm
Resiliency
IP networks
IPS security
Metrics
network device
network scenarios
OFP
OpenFlow protocol
Protocols
pubcrawl
intrusion prevention system
SDC
SDN
Software Defined Clouds
software defined networking
Software-Defined Networking technology
Switches
SYN flooding attacks
vulnerable attacks
DDoS attack detection
Cloud Computing
Cloud Computing networks
composability
computer network security
control functions
control plane
data plane
DDoS
centralized controller
Denial-of-Service
distributed DoS attacks
distributed Firewall
distributed security mechanism
Firewall and IPS
Firewalls (computing)
Human behavior
ICMP flooding attacks
biblio
A One-Way Proof-of-Work Protocol to Protect Controllers in Software-Defined Networks
Submitted by grigby1 on Mon, 04/03/2017 - 11:54am
attack
composability
defense
Denial-of-Service
internet
Metrics
network control systems
network control systems security
networked control systems
pubcrawl
Resiliency
security
biblio
Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:54pm
CMU
Denial-of-Service
July'14
Probabilistic Model Checking
Self-Adaptation
CMU
July'14
file
Schmerl_Arch_Based_SElf_Protection_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:54pm
CMU
Denial-of-Service
July'14
Probabilistic Model Checking
Self-Adaptation
biblio
Architecture-based Self-protection: Composing and Reasoning About Denial-of-service Mitigations
Submitted by David Garlan on Wed, 09/17/2014 - 6:30pm
Architectures
Architectures
Modeling
Science of Security
Validation and Verification
CPS Technologies
Foundations
Hardware Security Implementation
validation and verification
Self-Adaptation
Security in Hardware
Science of Security
Probabilistic Model Checking
modeling
Logic and Verification
Hardware-Based Security Protocols
ACM CCS
foundations
Formal Security Models
Formal Methods and Theory of Security
Denial-of-Service
cyber security
CPS Technologies
Architectures
ACM CCS
Hardware-Based Security Protocols
Cyber Security
Formal Security Models
Formal Methods and Theory of Security
Logic and Verification
Hardware Security Implementation
Security in Hardware
file
Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations
Submitted by David Garlan on Tue, 06/03/2014 - 5:35pm. Contributors:
Bradley Schmerl
Javier Cámara
Jeffrey Gennari
David Garlan
Paulo Casanova
Gabriel Moreno
Thomas J. Glazier
Jeffrey Barnes
Denial-of-Service
Probabilistic Model Checking
Self-Adaptation
HotSoS 2014
Academia
Presentations
Presentation Slides
file
kaPoW Web Plug-ins
Submitted by Katie Dey on Thu, 11/01/2012 - 2:46pm. Contributor:
Wu-chang Feng
ABSTRACT
SaTC Posters
client puzzles
Denial-of-Service
Portland State University
Proof-of-work
spam
web applications
web security
1017034
SaTC PI Meeting 2012
Academia
« first
‹ previous
1
2
