Actor-Network Procedures

Catherin Meadows, Naval Research Laboratory, USA

In this paper we propose actor-networks as a formal model of computation in heterogeneous networks of computers, humans and their devices, where these new procedures run; and we introduce procedure Derivation Logic (PDL) as a framework for reasoning about security in actor-networks, as a extension of our previous Protocol Derivation Logic. Both formalisms are geared towards graphic reasoning. We illustrate its working by analyzing a popular form of two-factor authentication.