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
state
file
Chen_Declarative_Access_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:13am
access policies
CMU
protocol
relationship
state
biblio
Automated Test Generation from Vulnerability Signatures
Submitted by BrandonB on Tue, 05/05/2015 - 9:54am
insecure Web applications
web services
vulnerability signatures
validation and sanitization
transition
testing
string analysis
static string analysis undecidability
state
security
scripting languages
program testing
program diagnostics
path coverage
Algorithm design and analysis
HTML
digital signatures
Databases
automatic vulnerability signature computation
automated test case generation
automata-based test generation
automata-based static string analysis techniques
automata theory
automata
authoring languages
attack string discovery
Approximation methods
biblio
Declarative Access Policies based on Objects, Relationships, and States
Submitted by Jamie Presken on Mon, 01/12/2015 - 2:24pm
access policies
CMU
protocol
relationship
state
CMU
biblio
Declarative Access Policies Based on Objects, Relationships, and States
Submitted by Katie Dey on Fri, 10/24/2014 - 11:51am
Science of Security
A Language and Framework for Development of Secure Mobile Applications
access policies
Human behavior
protocol
relationship
Scalability and Composability
SoS Lablet
state
A Language and Framework for Development of Secure Mobile Applications
CMU
