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

security protocol specifications

biblio

Visible to the public Experience Report: How to Extract Security Protocols' Specifications from C Libraries

Submitted by grigby1 on Fri, 04/24/2020 - 4:20pm
  • object-oriented languages
  • tools
  • Task Analysis
  • Software
  • security protocols
  • security protocol specifications
  • security of data
  • security
  • reverse engineering
  • Resiliency
  • resilience
  • pubcrawl
  • Protocols
  • object-oriented programming
  • automatic tools
  • object oriented security
  • Metrics
  • Libraries
  • human-dependent approach
  • formal verification
  • Formal Specification
  • formal model
  • extract security protocols
  • documentation
  • composability
  • codelevel reverse engineering
  • C programming language
  • C libraries

Terms of Use  |  ©2023. CPS-VO