Login / Signup

Verification and Trade-Off Analysis of Security Properties in UML System Models.

Geri GeorgKyriakos AnastasakisBehzad BordbarSiv Hilde HoumbIndrakshi RayManachai Toahchoodee
Published in: IEEE Trans. Software Eng. (2010)
Keyphrases
  • trade off
  • security properties
  • formal methods
  • uml models
  • metamodel
  • sensor networks
  • model checking