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
Component architectures
biblio
Engineering Trust: A Graph-Based Algorithm for Modeling, Validating, and Evaluating Trust
Submitted by aekwall on Mon, 12/09/2019 - 12:23pm
psychology
Computing Theory and Trust
trust modeling
systems engineering processes
Systems architecture
System Engineering
requirements analysis
graph-based modeling methodology
graph-based algorithm
engineering trust
disparate system
Component architectures
complex multitiered system architectures
complex intersystem trust relationships
Compositionality
cognition
security of data
modeling
Risk
evaluation
Trust management
Measurement
trust
systems engineering
Vulnerability
Metrics
Computational modeling
graph theory
composability
pubcrawl
Trusted Computing
biblio
Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition
Submitted by K_Hooper on Wed, 02/28/2018 - 11:31am
noninterference
Theorem Proving
Software systems
security of data
security
secure interface composition
refinement-based security properties
Refinement
pubcrawl
object-oriented programming
Artificial Intelligence
Lattices
interface automata
information flow security
generalized refinement-based noninterference
Compositionality
compositional enforcement
Component-Based Software
Component architectures
automata
