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
security model
biblio
Property Specific Information Flow Analysis for Hardware Security Verification
Submitted by
grigby1
on Mon, 05/20/2019 - 4:30pm
Acceleration
collaboration
Complexity theory
composability
Design methodology
formal verification
Hardware
hardware information flow analysis
Hardware Security
hardware security verification
hardware security vulnerabilities
Hardware Trojans
Human behavior
Human Factors
information flow analysis
information flow models
information flow security
information theoretic security
Mathematical model
Metrics
policy-based governance
potential security violations
property specific information flow analysis
property specific search
property specific trimming technique
pubcrawl
resilience
Resiliency
Scalability
security
security critical paths
security model
security of data
security property
security verification
timing
Trojan horses
unintended design flaws
biblio
Multi-Level Security for the 5G/IoT Ubiquitous Network
Submitted by
grigby1
on Tue, 02/06/2018 - 1:54pm
5G
5G mobile communication
5G-IoT ubiquitous network
Access Control
BLP
Computational modeling
computer network security
Context
Context modeling
fifth-generation mobile communication networks
Human behavior
Human Factors
information security domain
Internet of Things
IoT
Metrics
Multi-Level Security
multilevel security model
network bandwidth
network domain
pubcrawl
Resiliency
Scalability
security model
Temperature measurement
Transaction Data
Ubiquitous Computing Security
biblio
On implementing a client-server setting to prevent the Browser Reconnaissance and Exfiltration via Adaptive Compression of Hypertext (BREACH) attacks
Submitted by
grigby1
on Thu, 04/20/2017 - 12:43pm
Web traffic
transport protocols
TLS protocol
SSL/TLS
Servers
security model
security
Resiliency
pubcrawl
plaintext
Network reconnaissance
HTTP compression
high-value secrets protection
fixed-dictionary compression
encryption
encoding
Dictionaries
DEFLATE compression algorithm
Data protection
data compression
Cryptography
Cryptographic Protocols
confidentiality
Compression algorithms
Compression
client-server systems
client-server setting
Browsers
browser reconnaissance and exfiltration via adaptive compression of hypertext attacks
BREACH attacks
BREACH attack
Bandwidth
biblio
Identity-Based Distributed Provable Data Possession in Multicloud Storage
Submitted by
BrandonB
on Wed, 05/06/2015 - 2:43pm
storage management
Servers
security model
security
remote data integrity checking model
public verification
public key cryptography
provable data possession
Protocols
private verification
private key cryptography
outsourced data
multicloud storage
multicloud servers
integrity checking protocol
Indexes
identity-based distributed provable data possession
identity-based cryptography
ID-DPDP protocol
formal verification
formal system model
Distributed databases
distributed computing
delegated verification
data integrity
Cryptographic Protocols
Computational modeling
computational Diffie-Hellman problem
Cloud Computing
CDH problem
bilinear pairings
biblio
Secure Deduplication with Efficient and Reliable Convergent Key Management
Submitted by
BrandonB
on Wed, 05/06/2015 - 1:37pm
baseline key management scheme
Bismuth
Cloud Computing
cloud storage
convergent encryption
data deduplication
Deduplication
Dekey
Educational institutions
encryption
key management
private key cryptography
proof of ownership
public key cryptography
ramp secret sharing scheme
Reliability
reliable convergent key management
secure deduplication
security model
Servers
storage management
storage space reduction
biblio
Secure Multiparty Data Sharing in the Cloud Using Hardware-Based TPM Devices
Submitted by
BrandonB
on Fri, 05/01/2015 - 9:23am
Access Control
access control management
authorisation
authorised consumer
BYOD
Cloud Computing
cloud computing infrastructure
cloud enterprise
confidential data
cryptographic keys
Cryptographic Protocols
data consumers
Data models
data owner
data privacy
Data Security
data sharing
encryption
hardware-based TPM devices
hardware-based trusted platform module mechanism
key management
privacy
Protocols
secure data sharing protocol
secure multiparty data sharing
security
security key
security model
software-based security protocol
store data
TED
tpm
TPM mechanism
Trusted Computing
trusted enterprise
trusted extension device
untrusted cloud services
biblio
Cybersecurity Dynamics
Submitted by
shouhuai
on Wed, 09/17/2014 - 6:31pm
Modeling
Science of Security
Validation and Verification
Foundations
Cybersecurity dynamics
foundations
modeling
Science of Security
Security analysis
security model
validation and verification
Cyber Security
ACM CCS
file
Cybersecurity Dynamics (poster)
Submitted by
shouhuai
on Wed, 06/04/2014 - 9:43am. Contributor:
Shouhuai Xu
Cybersecurity dynamics
Security analysis
security model
HotSoS 2014
Poster
Academia
Posters
Posters
