Primitives for Authentication in Process Algebras