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

test specification language

biblio

Visible to the public Development of a suite of IPv6 vulnerability scanning tests using the TTCN-3 language

Submitted by grigby1 on Mon, 01/21/2019 - 12:15pm
  • test maintainability
  • program testing
  • Protocols
  • Prototypes
  • pubcrawl
  • Resiliency
  • security of data
  • specification languages
  • telecommunication computing
  • telecommunication security
  • test extensibility
  • passive analysis
  • test specification language
  • testing
  • Testing and Test Control Notation version 3
  • transport protocols
  • TTCN-3
  • TTCN-3 language
  • vulnerability assessment
  • vulnerability detection
  • Vulnerability Management
  • vulnerability scanning
  • Human behavior
  • application security
  • attacks simulation
  • Compositionality
  • Computer crime
  • denial of service
  • denial-of-service attack detection
  • Device Security
  • dual-stack networks
  • Duplicate Address Detection
  • Formal Specification
  • Address autoconfiguration
  • ICMPv6 Protocol
  • internet
  • IP networks
  • IPv4 IPv6 protocol
  • IPv6
  • IPv6 networks
  • IPv6 vulnerability scanning tests
  • Linux
  • Metrics
  • network communications

Terms of Use  |  ©2023. CPS-VO