Seol mar théacs é seo: Actor−network procedures: Modeling multi−factor authentication‚ device pairing‚ social interactions