OASIS: Weakening User Obligations for Security-critical Systems.

Thein Than Tun, Amel Bennaceur, Bashar Nuseibeh

Browse the full RE paper archive.