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 auditing
biblio
Relating the Empirical Foundations of Attack Generation and Vulnerability Discovery
Submitted by aekwall on Thu, 04/08/2021 - 3:34pm
Payloads
vulnerability discovery
information foraging
automatic exploit generation
automatic attack generation
antivirus tool
Information Reuse and Security
security testing
security auditing
Trojan detection
Compositionality
anti-virus
security
computer viruses
Trojan horses
Data mining
Analytical models
program testing
tools
software security
pubcrawl
Resiliency
Data models
malware detection
biblio
Multi-Level Proactive Security Auditing for Clouds
Submitted by aekwall on Mon, 03/09/2020 - 10:05am
proactive auditing
security policy verification
security of data
Security Audits
security auditing
Scalability
runtime cloud security auditing
Resiliency
pubcrawl
Cloud Computing
multilevel proactive security auditing system
Multi-Level Security
Human behavior
formal verification
Data protection
cloud tenant protection
Cloud Security
biblio
Research on the Development Trend and Auditing Mode of High Security Enterprise Intranet Security Audit
Submitted by aekwall on Mon, 03/09/2020 - 10:04am
enterprise intranet
Security Audits
security auditing
safety supervision
risk self-identification
intranets
intranet users
Internal Audit
high security enterprise intranet security audit
computer network security
behavior-based security audit mode
auditing
security audit
Scalability
pubcrawl
Human behavior
Resiliency
cyber security
biblio
Security Auditing in the Fog
Submitted by K_Hooper on Wed, 05/09/2018 - 9:56am
Fog computing
graph-based anomaly detection
Human behavior
pubcrawl
Resiliency
Scalability
security auditing
Security Audits
synthetic data sets
biblio
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Submitted by K_Hooper on Wed, 05/09/2018 - 9:55am
automated code fixing
Human behavior
pubcrawl
Resiliency
Scalability
security auditing
Security Audits
static analysis
Vulnerability
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
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Wed, 08/02/2017 - 12:58pm
cloud
co-residence
composability
formal verification
Human behavior
isolation
Metrics
openstack
privacy
pubcrawl
Resiliency
security auditing
Virtualization
virtualization privacy
