Service Login (uri) → let s=f indService (uri) if s=0 then error ("Service not supported 4. IdMM Service Authentication Rules Fig. 2. Summary of the framework .