Security requirements formalized with OCL in a model-driven approach.

Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif

Browse the full RE paper archive.