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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
software security
biblio
Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
Submitted by aekwall on Fri, 08/26/2022 - 12:23pm
Redundancy
Software Testing
semaphore
formal verification
embedded operating system
software security
usability
component
Safety
security
composability
Resiliency
Metrics
pubcrawl
operating systems
Software
embedded systems
biblio
Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications
Submitted by aekwall on Fri, 08/12/2022 - 4:09pm
static code analysis
Human behavior
composability
Resiliency
coding styles
composabiity
cross-site scripting
Electronic mail
encoding
pubcrawl
Registers
software security
static analysis
static analysis tools
tools
web vulnerabilities
biblio
Static Analysis of Source Code Vulnerability Using Machine Learning Techniques: A Survey
Submitted by grigby1 on Thu, 07/28/2022 - 2:07pm
static code analysis
Analytical models
composability
feature extraction
Human behavior
machine learning
machine learning algorithms
Market research
Predictive models
pubcrawl
resilience
Resiliency
software security
source code vulnerability
static analysis
biblio
On Building a Vulnerability Dataset with Static Information from the Source Code
Submitted by aekwall on Tue, 05/10/2022 - 1:49pm
composability
codes
Compositionality
Data Breach
Databases
Human behavior
Industries
machine learning
Metrics
pubcrawl
Resiliency
software metrics
software security
static analysis
static code analysis
vulnerability detection
biblio
Metrics-based Knowledge Analysis in Software Design for Web-based Application Security Protection
Submitted by grigby1 on Fri, 04/01/2022 - 2:48pm
tools
pubcrawl
Software
Metrics
software metrics
software security
Knowledge engineering
Media
Security Metrics
Communications technology
software design
Digital art
knowledge analysis
secure implementation
biblio
Investigating the Changes in Software Metrics after Vulnerability Is Fixed
Submitted by grigby1 on Thu, 02/24/2022 - 2:49pm
big data security metrics
codes
Measurement
Metrics
Predictive models
predictive security metrics
pubcrawl
Security Metrics
software metric
software metrics
software security
static analysis
Text Mining
Vulnerability
Writing
biblio
Using MajorClust Algorithm for Sandbox-Based ATM Security
Submitted by grigby1 on Tue, 12/21/2021 - 12:38pm
Online banking
Zero day attacks
Whitelists
whitelisting
tools
software security
Software algorithms
sandboxing
Resiliency
resilience
pubcrawl
ATM
Metrics
Intrusion Protection
Filtering
evolutionary computing
evolutionary computation
defense
cyber security
composability
clustering
Big Data
biblio
Improving the Nation’s Cybersecurity
Submitted by willirn1 on Fri, 10/22/2021 - 4:45pm
Executive Order
Cybersecurity
Policy
software security
biblio
Guidelines on Minimum Standards for Developer Verification of Software
Submitted by willirn1 on Fri, 10/22/2021 - 12:35pm
software assurance
verification
testing
static analysis
fuzzing
code review
software security
biblio
Examining the Relationship of Code and Architectural Smells with Software Vulnerabilities
Submitted by grigby1 on Tue, 10/12/2021 - 2:47pm
Architectural Smell
Code Smell
Metrics
Organizations
Predictive models
predictive security metrics
pubcrawl
security
Software
software engineering
software security
static analysis
tools
Vulnerability
1
2
3
4
5
6
7
next ›
last »
