2012 | OriginalPaper | Buchkapitel
Actor-Network Procedures
(Extended Abstract)
verfasst von : Dusko Pavlovic, Catherine Meadows
Erschienen in: Distributed Computing and Internet Technology
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.