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
Security Audits
biblio
Tri-Modularization of Firewall Policies
Submitted by grigby1 on Tue, 09/26/2017 - 11:38am
firewall policies
firewall tool
Human behavior
modularization
pubcrawl
Resiliency
Scalability
Security Audits
biblio
First-time Security Audits As a Turning Point?: Challenges for Security Practices in an Industry Software Development Team
Submitted by grigby1 on Tue, 09/26/2017 - 11:38am
development practices
Human behavior
organizational factors
Penetration Testing
pubcrawl
qualitative study
Resiliency
Scalability
secure software engineering
Security Audits
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Tue, 09/26/2017 - 11:35am
cloud
co-residence
Compositionality
formal verification
isolation
Metrics
openstack
pubcrawl
Resiliency
Scalability
scalable verification
security auditing
Security Audits
Security Policies Analysis
Virtualization
biblio
Generic Attacks on Secure Outsourced Databases
Submitted by grigby1 on Mon, 06/05/2017 - 11:38am
Adversary Models
attribute based encryption
composability
generic attacks
outsourced database security
pubcrawl
Resiliency
Scalability
searchable encryption
secure outsourced databases
Security Audits
biblio
In-Depth Enforcement of Dynamic Integrity Taint Analysis
Submitted by grigby1 on Tue, 05/30/2017 - 12:06pm
Algorithms
auditing
composability
Control Theory
languages
Metrics
pubcrawl
security
Security Audits
Security Policies Analysis
taint analysis
theory
verification
biblio
Breaking Web Applications Built On Top of Encrypted Data
Submitted by grigby1 on Wed, 03/29/2017 - 11:25am
application security
composability
Control Theory
decomposition
encryption audits
leakage
Metrics
provable security
pubcrawl
searchable encryption
security
Security Audits
biblio
Beyond the Attack Surface: Assessing Security Risk with Random Walks on Call Graphs
Submitted by grigby1 on Mon, 03/20/2017 - 9:47am
attack surface
Big Data
big data security
big data security metrics
composability
decomposition
Metrics
page rank
pubcrawl
Risk
Security Audits
Security Metrics
Vulnerability
« first
‹ previous
1
2
3
4
5
6
7
