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
Scyther tool
biblio
A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
information security
Transaction Security
tools
security
Scyther tool
pubcrawl
Protocols
protocol verification
privacy
policy-based collaboration
Payment Protocol
Online banking
Mobile payment systems
Metrics
Industries
Cryptography
Compositionality
composability
collaboration
AVISPA tool
authorization
authentication
accountability
network accountability
Resiliency
biblio
On the Analysis of Collaborative Anonymity Set Formation (CASF) Method for Privacy in the Smart Grid
Submitted by grigby1 on Wed, 05/30/2018 - 4:08pm
power engineering computing
smart power grids
smart meters
smart metering data privacy
Smart Grids
Smart Grid Privacy
smart grid consumer privacy
Scyther tool
Public key
pubcrawl
privacy preservation
privacy
power system security
authentication
NS-3 simulator
metering data anonymization
Human Factors
high frequency metering data
distributed communication
distributed anonymization methods
data privacy
consumer privacy
collaborative anonymity set formation method
collaboration
CASF method
