Login / Signup

Formal specification and verification of data separation in a separation kernel for an embedded system.

Constance L. HeitmeyerMyla ArcherElizabeth I. LeonardJohn D. McLean
Published in: CCS (2006)
Keyphrases
  • data sets
  • formal specification
  • database
  • data analysis
  • data sources
  • model checking
  • xml documents
  • data points
  • open source
  • data quality