The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing …