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