Namgyu Kim Songchun Moon Yonglak Sohn Secure one snapshot protocol for concurrency control in real-time stock trading systems. 441-454 2004 73 Journal of Systems and Software 3 http://dx.doi.org/10.1016/j.jss.2003.08.236 db/journals/jss/jss73.html#KimMS04