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
Graphical Model
biblio
Modeling and Reducing the Attack Surface in Software Systems
Submitted by grigby1 on Fri, 08/28/2020 - 10:50am
reduction
system
Software systems
software system
Software
sensitive
security vulnerabilities
security of data
security
Scalability
Resiliency
resilience
attack surface
pubcrawl
Organizations
Metrics
location
Graphical Model
graph theory
Data models
data
Credit cards
Computational modeling
biblio
Institution Theory for Services Oriented Applications
Submitted by BrandonB on Fri, 05/01/2015 - 7:09am
Manganese
workflow applications
Unified modeling language
UML AD
UML activity diagram
System recovery
Syntactics
software engineering
service oriented applications
Semantics
semantic correctness
programming language semantics
Model transformation
Context
local semantic
institution theory
institution comorphism
Graphical Model
Grammar
formal verification
Formal Specification
Formal semantics
event-B specification
Event-B
diagrams
biblio
Personalized Password Guessing: A New Security Threat
Submitted by Zbigniew Kalbarczyk on Wed, 09/17/2014 - 5:31pm
Modeling
Science of Security
Foundations
ACM CCS
cyber security
foundations
Graphical Model
guessing
Human and Societal Aspects of Security and Privacy
modeling
password
personalized
Science of Security
suggestion
ACM CCS
Cyber Security
Human and Societal Aspects of Security and Privacy
Data Driven Security Models and Analysis
biblio
Preemptive Intrusion Detection
Submitted by Zbigniew Kalbarczyk on Wed, 09/17/2014 - 5:31pm
Systems Engineering
Modeling
Science of Security
CPS Technologies
Foundations
ACM CCS
CPS Technologies
credential stealing attack
cyber security
cyber-system
factor graph
foundations
Graphical Model
Intrusion Detection Systems
Intrusion/Anomaly Detection and Malware Mitigation
modeling
Science of Security
security incident
systems engineering
tagging
timeliness
ACM CCS
Cyber Security
Intrusion Detection Systems
Intrusion/Anomaly Detection and Malware Mitigation
Data Driven Security Models and Analysis
file
Graphical Model for Cyber-Physical Systems - Generalization from Electric Grids
Submitted by yweng3 on Fri, 05/16/2014 - 4:24pm. Contributors:
Yang Weng
Rohit Negi
Marija Ilic
CPS Domains
Smart Grid
Energy
Modeling
CPS Technologies
Foundations
Distributed State Estimation
Graphical Model
Robustness
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Graphical Model for Cyber-Physical Systems: The Case of State Estimation in Electric Power Systems
Submitted by yweng3 on Wed, 02/12/2014 - 3:59pm. Contributors:
Yang Weng
Marija Ilic
CPS Domains
Energy
CPS Technologies
Foundations
Distributed State Estimation
Graphical Model
Robustness
yber-Physical Systems
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
