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
software design
biblio
Software design for recording and playback of multi-source heterogeneous data
Submitted by grigby1 on Wed, 07/19/2023 - 2:42pm
data acquisition
expandability
recording
playback
multi-source
marine environmental data
Heterogeneous
Resiliency
software design
pubcrawl
Systematics
Compositionality
real-time systems
computer science
Hardware
Software
resilience
biblio
Security Testing as part of Software Quality Assurance: Principles and Challenges
Submitted by grigby1 on Fri, 02/17/2023 - 4:40pm
software assurance
software design
Software Testing
requirements engineering
software quality
Object recognition
Scalability
Conferences
Resiliency
resilience
pubcrawl
security
biblio
Metrics-based Knowledge Analysis in Software Design for Web-based Application Security Protection
Submitted by grigby1 on Fri, 04/01/2022 - 1: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
Pattern-Based Approach to Modelling and Verifying System Security
Submitted by grigby1 on Mon, 10/04/2021 - 2:03pm
Algebraic specifications
composability
Design patterns
formal verification
Metals
Metrics
model checking
Object oriented modeling
object oriented security
pubcrawl
Resiliency
security
Semantics
software design
Unified modeling language
biblio
Comprehensive Model-Driven Complexity Metrics for Software Systems
Submitted by grigby1 on Tue, 04/27/2021 - 2:58pm
class diagram
Complexity Metric
Complexity theory
Measurement
Metrics
pubcrawl
security
Security Metrics
Software
software design
Software measurement
Software systems
state machine
sustainable development
UML
Unified modeling language
biblio
Design and Realization of Smart Home Security System Based on AWS
Submitted by grigby1 on Mon, 12/28/2020 - 11:30am
Wireless fidelity
Wi-Fi access
software design
smart home security system
sensor systems and applications
PSoC
aws iot
bluetooth security
Smart homes
Internet of Things
testing
composability
Resiliency
resilience
Human behavior
pubcrawl
security
biblio
Mobile bootloader with security features
Submitted by grigby1 on Tue, 11/17/2020 - 1:40pm
program testing
Operating systems security
software design
security features
modern mobile operating systems
mobile development
mobile bootloader
excessive information
device internal storage
described problem
bootloading stage
bootloader
Booting
Software Testing
security of data
operating systems (computers)
resilience
software engineering
computer security
smart phones
mobile computing
composability
information security
Cryptography
Resiliency
Metrics
pubcrawl
system logs
biblio
Security Risk Assessment and Management as Technical Debt
Submitted by aekwall on Mon, 02/17/2020 - 1:27pm
technical debt
technical debt management systems
software development organizations
software design
security risk assessment
security engineering techniques
security debt management approach
security debt
risk-based security engineering processes
risk-based extensions
portfolio-based technical debt management framework
iterative software development
Security Risk Management
information security
security of data
risk analysis
security management
software security
Unified modeling language
software engineering
risk management
Metrics
Iterative methods
pubcrawl
Resiliency
Software
Organizations
Scalability
biblio
Renraku: The One Static Analysis Model to Rule Them All
Submitted by grigby1 on Thu, 06/07/2018 - 2:11pm
static analysis
pubcrawl
Human behavior
composability
resilience
software design
Resiliency
static code analysis
code quality
biblio
Software-Design for Internal Security Checks with Dynamic Integrity Measurement (DIM)
Submitted by grigby1 on Tue, 02/06/2018 - 12:58pm
security software tools
internal security checks
Kernel
kernel architecture
Linux
malicious components
Memory management
memory measurment
multiple related components
pubcrawl
Resiliency
integrity measurement architecture
software design
Software measurement
software tools
system components
system state verification
TCG
The Concise Binary Object Representation (CBOR)
Trusted Platform Module (TPM)
trusted platform modules
DIM
attestation operations
binary code
Binary codes
central components
complex attestation strategies
composability
cooperation project
cryptographic hashes
Cryptography
data integrity
Aerospace electronics
DRA
dynamic integrity measurement
Dynamic Runtime Attestation
extensibility
extensible architecture
flexibility
flexible architecture
Guidelines
IMA
1
2
next ›
last »