Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions

Dusko Pavlovic, Catherine Meadows

As computation spreads from computers to networks of computers, and migrates into cyberspace, it ceases to be globally programmable, but it remains programmable indirectly: network…