context - aware user authentication - supporting proximity - based login in pervasive computing .
A logic of authentication