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
extensibility
biblio
Security Protection of Research Sensitive Data Based on Blockchain
Submitted by grigby1 on Thu, 09/07/2023 - 3:59pm
Access Control
extensibility
controlled sharing
blockchains
smart contracts
data structures
composability
data encryption
process control
Logic gates
sensitive data
intellectual property
Resiliency
resilience
policy-based governance
pubcrawl
security
biblio
Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited
Submitted by el_wehby on Fri, 05/25/2018 - 3:32pm
automotive E/E architecture
CAN
extensibility
FlexRay
1646497
biblio
Software-Design for Internal Security Checks with Dynamic Integrity Measurement (DIM)
Submitted by grigby1 on Tue, 02/06/2018 - 1: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
biblio
Domain Specific Security through Extensible Type Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:59pm
CMU
extensibility
security
CMU
file
Fulton_Domain_Specific_Security.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:59pm
CMU
extensibility
security
biblio
Security Through Extensible Type Systems
Submitted by Katie Dey on Fri, 10/24/2014 - 12:51pm
Science of Security
A Language and Framework for Development of Secure Mobile Applications
extensibility
Human behavior
Scalability and Composability
security
SoS Lablet
A Language and Framework for Development of Secure Mobile Applications
CMU
