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

parametrized-verification

biblio

Visible to the public Formal Verification of Secure Forwarding Protocols

Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
  • Network-Security
  • Veins
  • Security-Protocols
  • pubcrawl
  • protocol verification
  • Protocols
  • privacy
  • policy-based collaboration
  • parametrized-verification
  • network topology
  • authentication
  • Isabelle/HOL
  • Formal-Verification
  • data-plane
  • computer architecture
  • Compositionality
  • composability
  • collaboration
  • autonomous systems
  • authorization

Terms of Use  |  ©2023. CPS-VO