Nam Tran David Abramson Christine Mingins Call-Ordering Constraints. 291-298 2005 conf/apsec/2005 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.49 db/conf/apsec/apsec2005.html#TranAM05