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
certification
biblio
Safe and secure software updates on high-performance embedded systems
Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
Artificial Intelligence
artificial intelligence algorithms
automobiles
autonomous systems
certification
composability
computational complexity
dependable embedded systems
embedded systems
extended networking technologies
hardware complexity
hardware platform
high computing demands
high performance scale
high-performance embedded systems
interconnected system resilient
Metrics
OTASU
post-deployment evidence
potentially infinite scenarios
pubcrawl
regular software updates
resilience
Resiliency
Safety
secure software updates
security
security of data
security threats
standards
system dependability
traditional certification practices
biblio
How to stop crashing more than twice: A Clean-Slate Governance Approach to IT Security
Submitted by grigby1 on Tue, 03/16/2021 - 2:09pm
certification
clean slate
clean-slate governance approach
collaboration
Conferences
corporate social responsibility
DP industry
DP management
Equifax
Europe
GDPR
Governance
Human behavior
integrated circuits
ISO standards
IT industry
IT security
IT security incidents
Licenses
Metrics
organisational aspects
Policy
policy-based approach
privacy
pubcrawl
resilience
Resiliency
RNA
security
Security certification
security of data
biblio
A Blockchain-based Method for Decentralizing the ACME Protocol to Enhance Trust in PKI
Submitted by aekwall on Mon, 02/01/2021 - 11:40am
Servers
authorisation
Internet of Things
Protocols
Human behavior
pubcrawl
blockchain
trust
ethereum
Public key
public key cryptography
contracts
certificate authority
certification
public key infrastructure
human interaction
blockchain technology
human trust
ACME
ACME protocol
Automated Certificate Management Environment
automation issue
certificate issuance automation protocol
conventional security models
current trust issues
digital certificates
digital trust
Ethereum blockchain
PKI model
Public Key Infrastructure model
trust concerns
trust enhancement
trusted Certificate Authority
biblio
JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets
Submitted by grigby1 on Wed, 01/20/2021 - 4:21pm
API
APIs
application program interfaces
application programming interface
auditability
Big Integers
certification
certification transparency
Compositionality
Cryptography
data types
elliptic curve operations
Elliptic curves
generic library
Hardware
interoperability
Java
JavaCard
JavaCard API
JavaCard applets
JavaCard multiapplication platform
JCMathLib
Libraries
low-level cryptographic operations
low-level cryptographic primitives
memory footprint
nondisclosure agreements
open code sharing
open library
open systems
open-source development
open-source licenses
optimisation
optimization
proprietary APIs
proprietary manufacturer-specific APIs
pubcrawl
public domain software
resilience
Resiliency
resource-constrained platforms
smart cards
smartcards
software libraries
standards
transparency
wrapper cryptographic library
biblio
Compliance Checking of Open Source EHR Applications for HIPAA and ONC Security and Privacy Requirements
Submitted by aekwall on Mon, 11/09/2020 - 1:20pm
security of data
Servers
data privacy
electronic health records
Medical services
security
Resiliency
pubcrawl
privacy
tools
open source tools
static analysis
security vulnerabilities
health care
security issues
Compositionality
certification
adopted EHR application
certification compliance
clinic visits
compliance checking
convenient access
digital versions
EHR applications
Electronic Health Record applications
Health Information Technology certification criteria
Health Insurance Portability
HIPAA Compliance
HIPAA technical requirements
ONC certification
ONC criteria
open source EHR applications
OpenEMR
paper-based patient
patient medication
patient treatment plans
precise medical decision-making process
privacy criteria
Privacy Requirements
regulatory requirements
security risks
static code analysis-based vulnerability
Information Reuse and Security
biblio
A Pseudonym Certificate Management Scheme Based on Blockchain for Internet of Vehicles
Submitted by aekwall on Mon, 10/19/2020 - 11:49am
automobiles
Safety
security of data
data privacy
telecommunication security
Resiliency
Human behavior
pubcrawl
privacy
Cryptography
Metrics
blockchain
standards
public key cryptography
network structure
Human Factors
certificate revocation list
certification
Internet of Vehicles
cyber physical systems
network resources
cybercrime attacks
distributed maintenance
lifecycle
Pseudonym certificate
pseudonym certificate management scheme
biblio
Toward a framework for assessing the cyber-worthiness of complex mission critical systems
Submitted by aekwall on Mon, 10/05/2020 - 11:46am
Accreditation
assurance
certification
complex military systems
complex mission critical systems
complex systems
computer security
CPS resilience
cyber
cyber physical systems
cyber-physical systems
cyber-worthiness
embedded systems
high level threat actors
highly contested cyber environment
initial framework
Large-scale systems
military computing
military systems
pubcrawl
resilience
Resiliency
risk management
security
security of data
strong level
SysML
system safety engineering
threat actor
threat modelling
threat models
biblio
Decentralized Attestation of Conceptual Models Using the Ethereum Blockchain
Submitted by aekwall on Mon, 08/17/2020 - 11:36am
Cryptography
attestation
computer architecture
Resiliency
Human behavior
pubcrawl
composability
blockchain
Distributed databases
smart contracts
ethereum
certification
Ethereum blockchain
Hash functions
distributed ledger
ADOxx metamodeling platform
blockchain-based attestation
Conceptual Modeling
cryptographic verification
decentralized attestation methods
Decentralized Identifiers
Ethereum account
existence proofs
globally unique identifiers
software connector
biblio
Decentralized Identification and Certification System
Submitted by aekwall on Mon, 07/13/2020 - 11:19am
Servers
Internet of Things
Cryptographic Protocols
History
Resiliency
pubcrawl
composability
standards
Public key
public key cryptography
blockchain technology
authenticity
computer science
public key infrastructure
flexible management
certification
certification system
current public key infrastructure
decentralized environment
decentralized identification
decentralized public key infrastructure
decentralized system
identification and certification
individual IoT sensor
integrity and authenticity
user identificators
web-of-trust concept
web of trust
biblio
Bootstrapping Security Configuration for IoT Devices on Networks with TLS Inspection
Submitted by grigby1 on Fri, 07/03/2020 - 1:27pm
authorisation
bootstrapping security configuration
certification
chicken-and-egg problem
computer bootstrapping
computer network security
conventional computing devices
Cryptography
deep packet inspection
deep packet inspection proxies
DPI policies
DPI proxy CA
DPI proxy certificate authority certificates
DPI-enabled intranets
enterprise management
IIoT devices
industrial enterprise networks
Inspection
Internet of Things
Internet of Things devices
intranets
manual device configuration
Payloads
performance evaluation
Production facilities
pubcrawl
resilience
Resiliency
Scalability
security bootstrapping
typical IoT devices
1
2
3
4
5
next ›
last »
