WISTP'07 "Workshop in Information Security Theory and Practices 2007" Smart Cards, Mobile and Ubiquitous Computing Systems