Login / Signup

Combining MILS with Contract-Based Design for Safety and Security Requirements.

Alessandro CimattiRance DeLongDavide MarcantonioStefano Tonetta
Published in: SAFECOMP Workshops (2015)
Keyphrases
  • security requirements
  • access control
  • software architecture
  • design process
  • security analysis
  • case study
  • low cost
  • security policies
  • real time
  • information systems
  • software engineering
  • embedded systems