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
contracts
biblio
A Secure Permissioned Blockchain Based System for Trademarks
Submitted by
grigby1
on Thu, 07/30/2020 - 1:53pm
authorisation
Organizations
cryptocurrencies
organisational aspects
blockchain
Distributed databases
pubcrawl
policy-based governance
resilience
Resiliency
authenticity
Databases
composability
contracts
smart contracts
intellectual property
centralized databases
hyperledger
Hyperledger Fabric
intellectual property organizations
jurisdictions
Permissioned
secure permissioned blockchain
secure trademark system
trademark registration
Trademarks
ip protection
biblio
Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems
Submitted by
aekwall
on Mon, 07/06/2020 - 10:14am
Monitoring
Scalability
cyber-physical systems
Resiliency
pubcrawl
Metrics
web services
optimisation
resilience
contracts
power system stability
automatic generation
Human Factors
Compositionality
object-oriented programming
Silicon
fault diagnosis
System performance
Automatic Contract Generation
automatic contract refinement
communication overhead
Contract Synthesis
core issue
growing scale
hierarchical contract-based resilience framework
hierarchical contracts generation
large-scale CPS
lower-level contract
manufacturing domain
multiobjective optimization problem
nonfunctional properties
numerous contracts
operating conditions
rapid fault detection
Resilience Decentralized Algorithms
root contract
system design
System Level
Cyber Dependencies
biblio
BcIoT: Blockchain based DDos Prevention Architecture for IoT
Submitted by
aekwall
on Mon, 06/29/2020 - 1:05pm
Computer crime
computer network security
Data Security
data privacy
Conferences
Internet of Things
private key cryptography
data integrity
computer architecture
Resiliency
Human behavior
pubcrawl
composability
Metrics
blockchain
Distributed databases
contracts
blockchain technology
DDoS Attack
DDoS Attack Prevention
BcIoT
centralized system
data consistency
DDoS prevention
hash based secret key
Internet of Thing (IoT)
IoT technologies
self-configuring things
smart contract security
smart things
biblio
Distributed Denial Of Service(DDoS) Mitigation in Software Defined Network using Blockchain
Submitted by
aekwall
on Mon, 06/29/2020 - 12:56pm
Computer crime
computer network security
IP networks
telecommunication traffic
Cryptography
telecommunication security
security
software defined networking
Resiliency
Human behavior
pubcrawl
composability
Peer-to-peer computing
Metrics
blockchain
Distributed databases
network topology
SDN
Topology
smart contracts
DDoS Attack
contracts
smart contract
private blockchain
software-defined networking
autonomous systems
collaborative DDoS mitigation architecture
DDoS
DDoS Prevention Service
distributed denial of service attack
DPS
network threat
Soft Defined Network
DDoS attack mitigation
biblio
Trustworthy IoT: An Evidence Collection Approach Based on Smart Contracts
Submitted by
aekwall
on Mon, 04/13/2020 - 10:22am
IoT
Cloud Computing
Internet of Things
Trusted Computing
mobile computing
Resiliency
pubcrawl
composability
blockchain
cryptocurrencies
Distributed databases
smart contracts
contracts
interconnected devices
cyber physical systems
secure environment
Assurance Evaluation
cloud-based applications
hyperledger fabric blockchain
mobile end users
service-based methodology
smart IoT systems clash
trustworthy evidence collection
trustworthy IoT assurance evaluation
Trustworthy Systems
file
SOlSTICe- Software Synthesis with Timing Contracts
Submitted by
qizhu
on Fri, 04/10/2020 - 10:19am. Contributor:
Qi Zhu
contracts
software synthesis
connected and automated vehicles
security
Safety
Adaptation
Lightning Talks
1839511
CPS PI Meeting 2019
Lightning Talks
Presentation
biblio
On the Practicality of a Smart Contract PKI
Submitted by
aekwall
on Mon, 04/06/2020 - 10:16am
Scalability
telecommunication security
system monitoring
Resiliency
Human behavior
pubcrawl
privacy
Cryptography
Metrics
blockchain
internet
smart contracts
ethereum
public key cryptography
computational complexity
Formal Specification
software fault tolerance
Security Properties
contracts
smart contract
PKI Trust Models
Additives
communication security
accumulator
blockchain-based identity systems store
centralized authorities
constant-sized state
constant-sized storage
Distributed Applications
identity records verification
live chain
main building blocks
provably secure contract
public key infrastructures
securing communications
smart contract PKI
smart contract platform
biblio
CAG: Compliance Adherence and Governance in Software Delivery Using Blockchain
Submitted by
grigby1
on Fri, 04/03/2020 - 12:04pm
auditing
blockchain
blockchain technologies
building software
client industry
collaboration
compliance adherence and governance
compliance specifications
contracts
copyright issues
Crowd Sourcing
cryptocurrencies
decentralized CAG
development activities
disparate sources
distributed teams
economic challenges
extraordinary amounts
functional specifications
geographically distributed teams
Global Software Development
legislation
level agreements
Libraries
License verification
Licenses
litigations
metadata
noncomplaint license software
nonconformant behavior
open source components
open-source software components
Policy Based Governance
pubcrawl
public domain software
SDLC
security risks
smart contracts
Software
software delivery
software development life cycle
software development management
software engineering
standard compliances
technical challenges
vulnerability assessment
biblio
Smarter Smart Contract Development Tools
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
blockchain
blockchain environments
blockchain platforms
blockchain software development tools
blockchain software engineering tool set
buggy code
collaboration
Computer bugs
Computer languages
contracts
Human behavior
Human Factors
Metrics
policy-based governance
program compilers
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Safe Coding
security of data
security vulnerabilities
smart contracts
smarter smart contract development
Software
software engineering
software tools
tools
usability of programming languages
biblio
Incentive Contract for Cybersecurity Information Sharing Considering Monitoring Signals
Submitted by
grigby1
on Wed, 03/18/2020 - 11:51am
security of data
Monitoring
risk management
Scalability
computer security
contracts
Cyber Insurance
cyber risk transfer
cybersecurity information haring
cybersecurity information sharing
Environment monitoring
ethics
incentive contract
Incentive mechanism
Incentive Model
information management
information sharing output
Insurance
monitoring signals
Moral Hazard
pubcrawl
composability
collaboration
Policy-Governed Secure Collaboration
Metrics
Resiliency
resilience
Human behavior
Science of Security
1
2
3
4
5
next ›
last »
