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
ocl
biblio
Model-Based Security Analysis of Feature-Oriented Software Product Lines
Submitted by grigby1 on Mon, 12/30/2019 - 1:17pm
security
pubcrawl
Resiliency
Scalability
ocl
software product lines
UML
exponentiation
biblio
Deals with Integrating of Security Specifications During Software Design Phase Using MDA Approach
Submitted by grigby1 on Wed, 05/16/2018 - 12:47pm
pubcrawl
Resiliency
Human behavior
composability
resilience
Metrics
human factor
code generator
authorization policies
Code Generation
Model Transformations
model-driven architecture
ocl
security profile
Repudiation
biblio
A Model-driven Approach to Representing and Checking RBAC Contextual Policies
Submitted by K_Hooper on Wed, 10/25/2017 - 10:55am
contextual policies
Human behavior
model-driven engineering
ocl
Privacy Policies
pubcrawl
role-based access control
Scalability
temporal/spatial authorization policies
