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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Scyther tool

biblio

Visible to the public 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

Visible to the public 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

Terms of Use  |  ©2023. CPS-VO