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
model-based testing
biblio
Model-Based Attack Tolerance
Submitted by grigby1 on Thu, 12/28/2017 - 1:28pm
message authentication
tools
software-based systems
Robustness
Resiliency
pubcrawl
monitoring method
Monitoring
model-based testing
model-based attack tolerance
Adaptation models
intrusion tolerance
internet
generic approach
formal verification
formal method
composability
authentication Web application
authentication
biblio
An Automated Approach for Testing the Security of Web Applications Against Chained Attacks
Submitted by K_Hooper on Wed, 11/01/2017 - 11:03am
Chained Attacks
attack surface
Metrics
model-based testing
pubcrawl
resilience
Scalability
security
web applications
biblio
Model-based Testing of Stochastic Systems with IOCO Theory
Submitted by grigby1 on Wed, 05/17/2017 - 1:53pm
exponentiation
Hypothesis testing
ioco
Markov automata
model-based testing
pubcrawl
Resiliency
biblio
Security Testing Based on Attack Patterns
Submitted by BrandonB on Tue, 05/05/2015 - 10:48am
security
Unified modeling language
UML state machine
UML state charts
testing
SQL injection
software prototyping
Software
security testing
security of data
Adaptation models
program testing
model-based testing
internet
HTML
Databases
cross-site scripting
attack patterns
attack pattern
agile software development processes
