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
tools
biblio
A Threat Modeling Approach for Cloud Storage Brokerage and File Sharing Systems
Submitted by
grigby1
on Thu, 09/26/2019 - 10:42am
Cloud Computing
Cloud Security
security
risk management
security of data
tools
Computational modeling
resilience
pubcrawl
Human behavior
Metrics
Resiliency
composability
Measurement
Mathematical model
Data models
trees (mathematics)
storage management
attack tree
Security Metrics
Human Factors
Peer-to-peer computing
security challenges
Threat Modeling
cloud stakeholders
Cloud storage brokerage systems
Cloud Storage Brokers
cloud storage complexities
Cloud storage Enumeration Attack
Cloud Storage Exploitation Attack
cloud storage systems
Cloud-Security
Common Configuration Scoring System
comprehensive risk assessments
conflicting security policies
file sharing systems
identified security risks
Secure Configuration
security risk assessment
threat modeling schema
threat models
Secure File Sharing
biblio
Locating SQL Injection Vulnerabilities in Java Byte Code Using Natural Language Techniques
Submitted by
grigby1
on Thu, 09/26/2019 - 10:25am
code analysis
code analysis tools
collaboration
Decision trees
Human behavior
Human Factors
Java
Java byte code
Java program
Metrics
natural language processing
natural language techniques
policy-based governance
program diagnostics
pubcrawl
Python
resilience
Resiliency
Safe Coding
Secure Coding
security
security of data
singular decision trees
Software
software vulnerabilities
source code (software)
SQL
SQL injection
SQL injection vulnerabilities
standards
Text Mining
tools
biblio
Checked C: Making C Safe by Extension
Submitted by
grigby1
on Thu, 09/26/2019 - 10:24am
backward-compatibility
Benchmark testing
bounds-safe interfaces
C safe
C++ language
checked C's design
checked pointer
checked region
collaboration
Computer bugs
Cyclones
developer control
highly performant code
Human behavior
Human Factors
incremental conversion
Metrics
performance evaluation
policy-based governance
program debugging
programming languages
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
spatial safety
static analysis
storage management
tools
biblio
Blockchain Based Provenance Sharing of Scientific Workflows
Submitted by
aekwall
on Mon, 09/23/2019 - 10:41am
blockchain
blockchain based provenance sharing
centralized provenance sharing architectures
composability
computer architecture
cryptocurrencies
data providers
Distributed databases
distributed research cooperation
distributed scientists
experiment reproducibility
experiment reproducibility verification
experiments backtracking
Human behavior
metadata
Metrics
Provenance
pubcrawl
Reliability
Resiliency
scientific information systems
scientific workflow
scientific workflow provenance
Task Analysis
tools
transaction verification
biblio
A Data Provenance Visualization Approach
Submitted by
aekwall
on Mon, 09/23/2019 - 10:41am
Big Data
Classification algorithms
Resiliency
Human behavior
pubcrawl
composability
component
Metrics
tools
metadata
data analysis
public domain software
Data visualization
data visualisation
Provenance
data provenance
data lineage
data provenance visualization approach
open source visualization tool
Prototypes
PROV-O
provenance visualization
social networking (online)
W3C-PROV-O specification compatible provenance data
biblio
Fine-Grained Provenance for Matching ETL
Submitted by
aekwall
on Mon, 09/23/2019 - 10:40am
Task Analysis
Resiliency
Human behavior
pubcrawl
composability
Metrics
optimization
ETL
tools
data analysis
Data mining
database management systems
application program interfaces
Instruments
Semantics
algebra
arbitrary code
code versions
common ETL
data objects
data provenance tools
data science tasks
data types
data warehouses
database provenance tools
database-style provenance techniques
matching computations
matching tasks
Provenance
provenance APIs
provenance-driven troubleshooting tool
PROVision
Record linking
support optimization
track provenance
tuple-level provenance
workflow
workflow management software
workflow provenance systems
biblio
A Social Engineer in Terms of Control Theory
Submitted by
grigby1
on Thu, 09/05/2019 - 11:27am
communication algorithms
communication control system
communication process
composability
contracts
Control Theory
effective communication
Handheld computers
human factor
human model
information security
information security specialists
nonstochastic communication object
password
Planning
psychology
pubcrawl
resilience
Resiliency
security
security of data
social engineer
social engineering
telecommunication control
terminal model
tools
biblio
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Submitted by
aekwall
on Mon, 08/26/2019 - 10:07am
assertion recommendation
formal program verifcation
Hardware
Human behavior
Metrics
pattern matching
policy-based governance
program testing
program weakness
pubcrawl
resilience
security
security weaknesses
Software
Syntactics
testing
tools
biblio
A Position Study to Investigate Technical Debt Associated with Security Weaknesses
Submitted by
aekwall
on Mon, 08/26/2019 - 10:06am
resilience
technical debt
TD
software quality
software lifecycle
security weaknesses
scoring mechanism
Quamoco quality model
quality assurance
potential security breaches
five-step approach
exploitable weaknesses
design level CWE
decidedly negative impacts
CWSS scores
common weakness scoring system
Common Weakness Enumeration
catching vulnerabilities
software development management
static analysis
Companies
tools
Metrics
policy-based governance
pubcrawl
Human behavior
Software measurement
Software
security
security of data
biblio
Information Assurance in modern ATE
Submitted by
aekwall
on Mon, 08/05/2019 - 10:40am
anti-virus
ATE
ATE OS settings
ATE system software
automatic test equipment
composability
computer
computer viruses
Computers
cyber security
electronic devices
Human behavior
Information Assurance
Instruments
internet
Metrics
microsoft windows
operating system
operating systems (computers)
policy-based governance
pubcrawl
Resiliency
security
security of data
software footprint
Task Analysis
tools
1
2
3
4
5
6
7
8
9
…
next ›
last »
