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
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
CPS PI Meeting 2019
Presentation
Lightning Talks
1839511
Lightning Talks
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
collaboration
cryptocurrencies
blockchain
pubcrawl
Software
metadata
Libraries
software development management
software engineering
contracts
smart contracts
auditing
blockchain technologies
building software
client industry
compliance adherence and governance
compliance specifications
copyright issues
Crowd Sourcing
decentralized CAG
development activities
disparate sources
distributed teams
economic challenges
extraordinary amounts
functional specifications
geographically distributed teams
Global Software Development
legislation
level agreements
License verification
Licenses
litigations
noncomplaint license software
nonconformant behavior
open source components
open-source software components
public domain software
SDLC
security risks
software delivery
software development life cycle
standard compliances
technical challenges
vulnerability assessment
Policy Based Governance
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
biblio
Blockchain Based Secure Package Delivery via Ridesharing
Submitted by
grigby1
on Mon, 03/02/2020 - 1:33pm
blockchain
Blockchain based
blockchain efficiency
blockchain secured ridesharing delivery system
central controller
contracts
Cryptography
data privacy
delays
delivery service
electronic money
fault tolerance
fault tolerant computing
hash-oriented practical byzantine fault tolerance based consensus algorithm
Human behavior
Human Factors
Metrics
package delivery
PBFT
Peer-to-peer computing
possible data leakage
promising service
pubcrawl
Ridesharing
ridesharing systems
Scalability
security
Servers
Tamper resistance
tamper-resistance property
telecommunication security
time 15.0 s to 10.0 min
Transportation
vehicle occupancy
vehicles
biblio
Blockchain Solutions for Forensic Evidence Preservation in IoT Environments
Submitted by
aekwall
on Mon, 02/24/2020 - 10:57am
Internet of Things
IoT devices
high-level architecture
Resiliency
Human behavior
pubcrawl
composability
Metrics
blockchain
cyber-attacks
Forensics
Digital Forensics
cryptocurrencies
Distributed databases
Intrusion Detection
smart contracts
smart phones
security services
Smart homes
Cyber-security
contracts
IoT environments
IoT networks
blockchain-based solution
digital forensic evidence
digitally handling forensic evidence
forensic evidence
forensic evidence preservation
Internet service providers
law enforcement agencies
permissioned blockchain
private forensic evidence database
smart home domain
Repudiation
biblio
Blockchain Based Fine-Grained and Scalable Access Control for IoT Security and Privacy
Submitted by
aekwall
on Mon, 02/10/2020 - 11:43am
IoT
computer network security
Access Control
authorisation
data privacy
Internet of Things
Resiliency
pubcrawl
composability
blockchain
database
cryptocurrencies
IoT security
contracts
Logic gates
Predictive Metrics
smart contract
access control issue
access records
decentralized IoT system
fine-grained access control strategies
multiindex table struct
Permission
scalable access control
transaction
Microelectronics Security
biblio
Protecting the Internet of Things with Security-by-Contract and Fog Computing
Submitted by
aekwall
on Mon, 01/20/2020 - 11:53am
Cloud Computing
computer network security
consolidated reality
contract-policy matching
contracts
edge computing
Fog computing
Fog Computing and Security
fog computing distributed paradigm
home automation
human beings lives
Internet of Things
IoT
IoT device contract
IoT devices
IoT systems
pubcrawl
Resiliency
Scalability
security
security-by-contract
Smart Home
Smart homes
Software
SxC framework
1
2
3
4
next ›
last »
