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 Architecture
biblio
Parallel Verification of Software Architecture Design
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
computer architecture
Resiliency
pubcrawl
Production
Software systems
Unified modeling language
Software Architecture
model checking
program verification
Scalability
Predictive Metrics
Compositionality
object-oriented programming
scalable verification
Bottleneck
Circular Dependency
Component-Based Software
component-based software system
large-scale complex software systems
monolithic architecture
multi-threading
multithreaded environment
parallel verification
software architecture design
software architecture verification
biblio
The Privacy Case: Matching Privacy-Protection Goals to Human and Organizational Privacy Concerns
Submitted by
grigby1
on Mon, 03/09/2020 - 2:57pm
argumentation thread
Aspern Smart City Research project
automotive domain
Automotive engineering
Buildings
collaboration
composability
data privacy
goal structuring notation
goals structuring notation
Human behavior
Human Factors
human privacy concern
Metrics
organizational privacy concern
policy-based governance
power engineering computing
Power system protection
privacy
privacy goals
privacy protection
privacy-protection goals
privacy-related risks
pubcrawl
resilience
Resiliency
Safety
Scalability
Smart Grid
smart grid data processing
Smart Grid Privacy
smart grid stakeholder
smart grid stakeholders
Smart Grids
smart power grids
Software Architecture
Stakeholders
biblio
FIXER: Flow Integrity Extensions for Embedded RISC-V
Submitted by
aekwall
on Mon, 02/24/2020 - 11:01am
security of data
Scalability
Internet of Things
data integrity
Hardware
security
embedded systems
reduced instruction set computing
system-on-chip
computer architecture
Buffer overflows
Resiliency
pubcrawl
composability
software reusability
Software Architecture
Bars
Human Factors
code reuse attacks
ROP
return oriented programming
program compilers
security framework
RISC-V
buffer overflow
Code injection
coprocessors
fine-grained control-flow integrity
FIXER
flow integrity extensions for embedded RISC-V
integrated Rocket Custom Coprocessor
low-power embedded devices
open source architecture
RISC-V architecture
RISC-V processor core
RISC-V SoC platform
RISC-V toolchains
Rockets
security extension
shadow stack
biblio
Mitigating Security Threats through the Use of Security Tactics to Design Secure Cyber-Physical Systems (CPS)
Submitted by
grigby1
on Tue, 01/21/2020 - 12:09pm
architectural tactics
collaboration
composability
ipv6 security
Metrics
policy-based governance
pubcrawl
quality attributes
resilience
Resiliency
security
security threats
Software Architecture
STRIDE
Trade-Offs
biblio
A Secure Fog-Cloud Based Architecture for MIoT
Submitted by
aekwall
on Mon, 01/20/2020 - 11:53am
attribute-based encryption
Biomedical monitoring
Cloud Computing
computer architecture
Data Security
Fog computing
Fog Computing and Security
health care
Healthcare
healthcare providers
healthcare services
Internet of Things
medial data
medical computing
medical data
medical Internet of Things
Medical services
MIoT
MIoT architectures
MIoT devices
Monitoring
pubcrawl
Resiliency
Scalability
secure fog-cloud based architecture
security issues
security of data
Software Architecture
Temperature sensors
biblio
A Cyber Risk Based Moving Target Defense Mechanism for Microservice Architectures
Submitted by
aekwall
on Mon, 12/02/2019 - 12:08pm
security of data
Scalability
security
Software
Resiliency
pubcrawl
Metrics
Measurement
Software Architecture
Indexes
Logic gates
risk analysis
business data processing
Security Metrics
moving target defense
Compositionality
program compilers
Application Container Security
automatic code generation techniques
business capabilities
cyber risk
diversification index
economics-of-scale incentives
microservice architectures structure
microservices attack surfaces
Microservices Security
moving target defense mechanism
MSA
multistep attacks
security risk assessment
security risk-oriented software diversification
Transforms
compiler security
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 1:05pm
Adaptation models
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
error propagation
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
program verification
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
SysML connectivity profile
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
biblio
Using Intel SGX to Protect Authentication Credentials in an Untrusted Operating System
Submitted by
aekwall
on Mon, 03/18/2019 - 9:49am
security of data
Scalability
authorisation
encryption
telecommunication security
Hardware
Program processors
Trusted Computing
Resiliency
Human behavior
pubcrawl
Metrics
authentication
Intel SGX
authentication credentials
BIOS
computational security
OS kernel
PAM authentication framework
password
password file protection scheme
private memory regions
privileged code
sensitive applications
SGX enclave
Software Architecture
Software Guard Extensions
TCB
trusted computing base
UniSGX
Unix
Unix systems
untrusted operating system
BIOS Security
biblio
Architectural Solutions to Mitigate Security Vulnerabilities in Software Systems
Submitted by
grigby1
on Thu, 02/14/2019 - 11:22am
cross-site scripting
expert systems
pubcrawl
resilience
Resiliency
Secure File Sharing
security
security patterns
Software Architecture
System recovery
Vulnerability
biblio
An SSH Honeypot Architecture Using Port Knocking and Intrusion Detection System
Submitted by
grigby1
on Fri, 02/08/2019 - 4:38pm
authentication
resilience
pubcrawl
Human behavior
Resiliency
Scalability
Human Factors
computer network security
operating systems
intrusion detection system
Servers
Linux
Computer crime
honeypot
IP networks
Software Architecture
IDS
Force
kippo honeypot
port knocking
secure shell
secure shell honeypot
SSH honeypot architecture
SSH service attack
honey pots
1
2
3
4
5
6
next ›
last »
