%A WISTP %A Cavallaro, Lorenzo %A Gollmann, Dieter %T Information security theory and practice : security of mobile and cyber-physical systems ; 7th IFIP WG 11.2 international workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013, proceedings %I Springer %D 2013 %S Lecture notes in computer science %V 7886 . LNCS sublibrary ; SL 4 . Security and cryptology %U https://ci.nii.ac.jp/ncid/BB14612822