Design Patterns for Compensating Controls for Securing Financial Sessions. - Marc J. Dupuis; Camelia Bejan; Matt Bishop; Scott David; Brent Lagesse (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)