2012 | OriginalPaper | Chapter
Actor-Network Procedures
(Extended Abstract)
Authors : Dusko Pavlovic, Catherine Meadows
Published in: Distributed Computing and Internet Technology
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.