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
trusted platform modules
biblio
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Submitted by grigby1 on Tue, 02/06/2018 - 1:58pm
safety-critical software
railway safety
railways
Redundancy
Resiliency
safety integrity level 4
safety-critical fault-tolerant middleware
safety-critical industries
safety-critical modules
railway control applications
Software Architecture
software fault tolerance
software quality
software quality metrics
TAS Control Platform
TLA+
trusted platform modules
formal methods
C code
C language
Code Generation
complex algorithms
composability
distributed algorithms
Fault tolerant systems
fault-tolerant distributed algorithms
Algorithm design and analysis
Formal Specification
formal verification
middleware
model checking
property-driven design
pubcrawl
rail traffic control
biblio
Semantically Rich, Oblivious Access Control Using ABAC for Secure Cloud Storage
Submitted by grigby1 on Tue, 02/06/2018 - 1:58pm
encryption
trustworthy access control
trusted platform modules
Trusted Computing
storage management
semantically rich access control system
robust access control
Resiliency
pubcrawl
OWL
Organizations
organization confidentiality policies
Ontologies
Oblivious Storage
end-to-end oblivious data transaction
Access Broker
document security
document handling
data threats
Confidentiality Policy
Computational modeling
composability
cloud storage security
cloud service platform
Cloud Computing
business data processing
authorisation
Access Control
access broker module
biblio
Three Innovative Directions Based on Secure Elements for Trusted and Secured IoT Platforms
Submitted by grigby1 on Mon, 11/13/2017 - 12:00pm
SE TLS servers
trusted platform modules
trusted IoT platforms
Trusted Computing
TLS/DTLS SE servers
TLS protocols
SIM modules
secured IoT platforms
secure elements
secure communications
authorisation
Resiliency
RACS authorization servers
pubcrawl
mutual authentication
Internet of Things
DTLS protocols
composability
CoAP DTLS clients
biblio
Detecting and thwarting hardware trojan attacks in cyber-physical systems
Submitted by grigby1 on Mon, 11/13/2017 - 12:00pm
thwarting hardware trojan attacks
Resiliency
security
security measures
smart grid application
Software component
software security
software-only attack
supervisory module
third-party soft IP cores
Reliability
Trojan horses
trust
trust enhancements
trust metric
trust specifications
Trusted Computing
trusted platform modules
verification
Hardware
composability
counter-measure
cyber-physical system integrity
cyber-physical systems
design
Diagnostics
Embedded System
field programmable gate arrays
attack vector models
hardware component
hardware security platform
hardware-only attack
invasive software
IP networks
isolated security primitives
Measurement
pubcrawl
biblio
TPM-supported key agreement protocols for increased autonomy in constellation of spacecrafts
Submitted by grigby1 on Mon, 11/13/2017 - 12:00pm
pubcrawl
TT&c
trusted platform modules
Trusted Platform Module
TPM-supported key agreement protocols
spacecrafts
Space vehicles
space missions
space communication links
security mechanisms
Resiliency
composability
Protocols
protocol iterations
payload links
opportunistic control center
Jamming
encryption
DH-HEMTs
Cryptographic Protocols
cryptographic keys
biblio
Security techniques for the WSN link layer within military IoT
Submitted by grigby1 on Mon, 11/13/2017 - 11:59am
Resiliency
WSN link layer
wireless sensor networks
trusted platform modules
Trusted Platform Module
telecommunication security
sensor nodes
security techniques
security
composability
pubcrawl
military communication
military applications
Internet of Things
fault tolerant sensor network
energy resources
Cryptography
cryptographic protection
biblio
TLS with trustworthy certificate authorities
Submitted by grigby1 on Mon, 11/13/2017 - 11:59am
Resiliency
web services
trustworthy certificate authority
trustworthy certificate authorities
trusted platform modules
Trusted Platform Module
Trusted Computing
trust policies
TLS-based authentication mechanisms
TLS
TaoCA
Servers
authorisation
public key cryptography
pubcrawl
Hardware
Cryptography
cryptographic attestations
composability
cloud-based trustworthy Web services
cloud platforms
Cloud Computing
certificate authorities
Browsers
biblio
Secure and Trusted Execution: Past, Present, and Future - A Critical Review in the Context of the Internet of Things and Cyber-Physical Systems
Submitted by grigby1 on Mon, 11/13/2017 - 11:59am
Internet of Things
virtualisation
trustworthiness
trusted platform modules
Trusted Platform Module
trusted execution environments
Trusted Execution Environment
Trusted Computing
trust
secure elements
robust trust technologies
Resiliency
pubcrawl
Java Card
IoT
composability
Intel TXT
Intel SGX
hypervisors
host card emulation
GlobalPlatform TEE
GlobalPlatform
encrypted execution environment
digital trust technologies
data privacy
cyberphysical systems
cyber-physical system
Cryptography
CPS
biblio
Virtual TPM Dynamic Trust Extension Suitable for Frequent Migrations
Submitted by grigby1 on Mon, 11/13/2017 - 11:59am
pubcrawl
vTPM DTE
virtual Trusted Platform Module (vTPM)
virtual trusted platform module
virtual TPM dynamic trust extension
virtual machines
trusted platform modules
Trusted Platform Module (TPM)
Trusted Computing
Trust Extension
time token
Servers
Resiliency
real-time systems
public key cryptography
attestation data
pTPM
physical TPM
performance measurements
IK certificate
identity key certificate
Heuristic algorithms
frequent migrations
Elliptic curve cryptography
Computers
composability
authorisation
authentication server
authentication
biblio
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data
Submitted by grigby1 on Mon, 11/13/2017 - 11:59am
composability
pubcrawl
Resiliency
trusted platform modules
« first
‹ previous
1
2
3
4
5
6
next ›
last »
