Information security practice and experience 9th international conference, ISPEC 2013, Lanzhou, China, May 12 - 14, 2013 ; proceedings (Springer, 2013)