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
Servers
biblio
Research on Privacy Protection with Weak Security Network Coding for Mobile Computing
Submitted by
grigby1
on Mon, 04/06/2020 - 2:23pm
composability
crowd sensing
Cryptography
cyber physical systems
encoding
encryption
Homomorphic encryption
information transfer mechanism
information transmission process
Metrics
mobile computing
mobile sensor networks
network coding
privacy protection
pubcrawl
resilience
Resiliency
routing policy
sensors
Servers
telecommunication network reliability
telecommunication security
weak security network coding
Wireless fidelity
biblio
An RSA Based Authentication System for Smart IoT Environment
Submitted by
aekwall
on Mon, 04/06/2020 - 10:16am
Scalability
Servers
authorisation
data privacy
Internet of Things
Cryptographic Protocols
Protocols
Resiliency
Human behavior
pubcrawl
Cryptography
Metrics
NIST
authentication
public key cryptography
IoT security
security services
RSA
public key infrastructure
PKI Trust Models
Authentication schemes
Smart City
cyber physical systems
Challenge/response Protocol
Intelligent Proxies
protocol design
proxy induced security service provider
remote applications
RSA based authentication system
smart city apps
smart IoT environment
X.509 Certificate
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
tools
privacy
Servers
pubcrawl
policy-based governance
collaboration
computer network security
Analytical models
Protocols
Computer crime
composability
Denial of Service attacks
Formal Specification
formal verification
Policy Based Governance
DDoS
Bandwidth
amplification DoS attacks
complexity
computational complexity
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
formal verification model
powerful intruders
protocol execution
protocol theories
PSPACE-complete
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
service resource usage
service unavailable
unlimited resources
Compositionality
protocol verification
biblio
A System Architecture of Cybersecurity Information Exchange with Privacy (CYBEX-P)
Submitted by
grigby1
on Fri, 04/03/2020 - 12:33pm
privacy
security of data
Organizations
Servers
pubcrawl
Human behavior
data privacy
Scalability
Databases
computer security
Privacy Policies
cyber defense
cyber threats
cyber-information exchange
Cybersecurity
cybersecurity information exchange
cybersecurity information exchange with privacy
cybersecurity information sharing platform
cybersecurity techniques
CYBEX-P
information exchange
information exchange platform
information management
information sharing
privacy preservation
privacy-preserving mechanisms
shared data
shared threat data
STIX
versatile information exchange platform
biblio
DDoS Attack Mitigation through Root-DNS Server: A Case Study
Submitted by
grigby1
on Fri, 04/03/2020 - 12:19pm
Predictive models
machine learning
cyber security
Servers
IP networks
pubcrawl
computer network security
Support vector machines
Computer crime
telecommunication traffic
quality of service
Routing protocols
Metrics
anycast
DDoS
DDoS attack mitigation
domain name system
high availability
IP anycast
k-nearest neighbors
load balancing
Load management
logistic regression
Probes
Random Forest
resource allocation
RIPE Atlas
root dns
root-DNS server
traffic routing algorithms
true positive rate metric
predictive security metrics
biblio
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Submitted by
grigby1
on Fri, 04/03/2020 - 12:05pm
protocol verification
CoCoME case study
collaboration
computer architecture
cyber-physical microservice architectures
cyber-physical systems
Formal Specification
individual microservices
Information Flow
information leaks
Information systems
information-flow security policies
macro-level policy
macro-level security policy
message passing
microservice architectural style
microservices
Perturbation methods
Policy Based Governance
Protocols
pubcrawl
real-time behavior
resulting microlevel policies
security
security of data
security restrictions
Servers
service-oriented architecture
software architects
biblio
QRStream: A Secure and Convenient Method for Text Healthcare Data Transferring
Submitted by
aekwall
on Mon, 03/30/2020 - 11:40am
security of data
Servers
data privacy
electronic health records
Medical services
Organizations
Resiliency
pubcrawl
Cryptography
Decoding
metadata
Libraries
text analysis
cyber physical systems
security problems
Payloads
health care
QR codes
privacy problems
electronic health data transferring
health awareness
health data delivery
health information
healthcare activities
healthcare organization
QRStream
text healthcare data transferring
biblio
Process Provenance-based Trust Management in Collaborative Fog Environment
Submitted by
aekwall
on Mon, 03/30/2020 - 11:33am
Cloud Computing
Servers
History
Resiliency
Human behavior
pubcrawl
composability
Metrics
Reliability
trust
collaboration
edge computing
Fog computing
Provenance
collaborative
process provenance
biblio
Tailoring Onion Routing to the Internet of Things: Security and Privacy in Untrusted Environments
Submitted by
grigby1
on Mon, 03/23/2020 - 4:16pm
computer network security
cryptographic processing
Cryptographic Protocols
Cryptography
data privacy
end-to-end security
Internet connectivity
Internet of Things
IoT communication
IoT device owner
Metrics
protocol incompatibilities
Protocols
pubcrawl
resilience
Resiliency
resource-conserving access control
resource-constrained IoT devices
Router Systems Security
Routing
secret supply chain procedures
Servers
tailoring onion routing
telecommunication control
untrusted environments
untrusted networks
Web server
biblio
RFID-assisted Continuous User Authentication for IoT-based Smart Farming
Submitted by
aekwall
on Mon, 03/23/2020 - 1:32pm
Servers
authorization
Internet of Things
security
Resiliency
Human behavior
pubcrawl
Business
sustainable development
authentication
public domain software
message authentication
security architecture
radiofrequency identification
RFID
Agriculture
groupware
Decision support systems
electronic data interchange
agricultural contractors
agricultural machines
collaborative agricultural processes
farm management information systems
farm-internal interconnection
FMIS
in-field data exchange
interconnected machinery
IoT-based smart Farming
machine data
Machinery
Management information systems
NFC
Radio Frequency Identification-based continuous user authentication
RFID-assisted continuous user authentication
Smart Farming
sustainable resource management
RFIDs
1
2
3
4
5
6
7
8
9
…
next ›
last »
