Login / Signup

Safety and Security Assessment of Behavioral Properties Using Alloy.

Julien BrunelDavid Chemouil
Published in: SAFECOMP Workshops (2015)
Keyphrases
  • information security
  • intrusion detection
  • security problems
  • desirable properties
  • security issues
  • security properties
  • real time
  • information systems
  • network management
  • security requirements
  • mechanical properties