5 papers:
ECOOP-2014-NittaKT #framework #identification- Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.
OOPSLA-2007-ShanerLN #composition #higher-order #source code #verification- Modular verification of higher-order methods with mandatory calls specified by model programs (SMS, GTL, DAN), pp. 351–368.
FM-2006-LundS #diagrams #semantics #sequence chart #uml- A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
VLDB-2004-RjaibiB #data access #database #implementation #multi #relational- A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems (WR, PB), pp. 1010–1020.
- OOPSLA-1989-Thuraisingham #database #object-oriented #security
- Mandatory Security in Object-Oriented Database Systems (BMT), pp. 203–210.
