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

Internet of Things security (IoTS)

biblio

Visible to the public Vulnerability Detection Algorithm of Lightweight Linux Internet of Things Application with Symbolic Execution Method

Submitted by aekwall on Tue, 05/10/2022 - 1:49pm
  • Compositionality
  • Fluctuations
  • Human behavior
  • information science
  • Internet of Things security (IoTS)
  • Linux
  • maintenance engineering
  • Manuals
  • Metrics
  • pubcrawl
  • Resiliency
  • Robustness
  • Stability analysis
  • Symbol execution
  • vulnerability detection

Terms of Use  |  ©2023. CPS-VO