In this paper we propose actor-networks as a formal model of computation in heterogenous 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 an extension of our previous Protocol Derivation Logic. Both formalisms are geared towards graphic reasoning. We illustrate its workings by analysing a popular form of two-factor authentication. © 2012 Springer-Verlag.
CITATION STYLE
Pavlovic, D., & Meadows, C. (2012). Actor-network procedures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7154 LNCS, pp. 7–26). https://doi.org/10.1007/978-3-642-28073-3_2
Mendeley helps you to discover research relevant for your work.