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
Academia
The document was issued by academy or academy organization.
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
Characterizing the Power of Moving Target Defense via Cyber Epidemic Dynamics
Submitted by Heather Lucas on Tue, 06/03/2014 - 5:35pm. Contributors:
Yujuan Han
Wenlian Lu
Shouhuai Xu
Cyber Epidemic Dynamics
HotSoS 2014
Academia
Presentations
Presentation Slides
Moving-Target Defense
file
A New Approach to Modeling and Analyzing Security of Networked Systems
Submitted by Heather Lucas on Tue, 06/03/2014 - 5:35pm. Contributors:
Gaofeng Da
Maochao Xu
Shouhuai Xu
Security analysis
Security modeling
HotSoS 2014
Academia
Presentations
Presentation Slides
Security Metrics
file
A Rewriting-Based Forwards Semantics for Maude-NPA
Submitted by Jose Meseguer on Tue, 06/03/2014 - 5:35pm. Contributors:
Santiago Escobar
Catherine Meadows
Sonia Santiago
Jose Meseguer
cryptographic protocol analysis
logical narrowing-based reachability analysis
reasoning
standard rewriting-based model checking
HotSoS 2014
Academia
Presentations
Presentation Slides
Cryptographic Protocols
file
Let's Play Poker: Effort and Software Security Risk Estimation in Software Engineering
Submitted by Laurie Williams on Tue, 06/03/2014 - 4:16pm. Contributor:
Laurie Williams
agile
security
HotSoS 2014
Academia
Presentations
Presentation Slides
file
What the Science of Security Might Learn from the Evolution of the Discipline of Empirical Software Engineering
Submitted by Heather Lucas on Tue, 06/03/2014 - 4:16pm. Contributor:
Victor R. Basili
Empirical Software Engineering
the influence of context
HotSoS 2014
Academia
Presentations
Presentation Slides
file
International Research Network for the Science of Security
Submitted by JeffCarver on Tue, 06/03/2014 - 4:16pm. Contributor:
Jeffrey Carver
HotSoS 2014
Academia
Presentations
Presentation Slides
file
Analyzing an Adaptive Reputation Metric for Anonymity Systems
Submitted by Heather Lucas on Tue, 06/03/2014 - 4:16pm. Contributors:
Anupam Das
Nikita Borisov
Matthew Caesar
anonymity
PID controller
Reputation Model
Tor Network
HotSoS 2014
Academia
Presentations
Presentation Slides
file
Information Leakage in Energy Cyber Physical Systems-A Stochastic Control Perspective.pdf
Submitted by parvlehigh on Mon, 06/02/2014 - 4:19pm. Contributor:
Parv Venkitasubramaniam
CPS Domains
Control
Energy
CPS Technologies
Foundations
cyber physical energy systems
Information Leakage
stochastic control perspective
CFP Paper Submissions
CFP Submissions
2013 National Workshop on Energy Cyber-Physical Systems
2013
Academia
file
Learned Helplessness
Submitted by Sara Kiesler on Thu, 05/29/2014 - 1:01pm. Contributor:
Sara Kiesler
CFP Submissions
internet
user
privacy
anonymity
Carnegie Mellon
HCII
Cyber2025
2014
CFPs
Academia
Position Paper
Publications
« first
‹ previous
…
80
81
82
83
84
85
86
87
88
…
next ›
last »