@misc{indiciae207890e50a16,
  title = {Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions},
  author = {Dusko Pavlovic and Catherine Meadows},
  year = {2011},
  url = {https://arxiv.org/abs/1106.0706},
  note = {Source identifier: 1106.0706}
}