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

complex networked control systems

biblio

Visible to the public Security in Wireless Sensor Networks: A formal verification of protocols

Submitted by grigby1 on Fri, 04/03/2020 - 12:43pm
  • privacy
  • WSN technology
  • wireless sensor networks
  • telecommunication security
  • Security Properties
  • security breaches
  • Security analysis
  • security
  • secure transmissions
  • safe transmissions
  • real-time communications
  • pubcrawl
  • protocol verification
  • analyzed protocols
  • policy-based governance
  • Policy Based Governance
  • industrial domains
  • formal verification
  • Cryptographic Protocols
  • concerns security aspects
  • concerns improved guarantees
  • Compositionality
  • composability
  • complex networked control systems
  • collaboration

Terms of Use  |  ©2023. CPS-VO