User authentication involving the use of external additional devices, e.g. dongles or smart cards communicating wirelessly