Actor-Network Procedures (Extended Abstract)

Dusko Pavlovic, Catherine Meadows

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)

    Abstract

    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.
    Original languageEnglish
    Title of host publicationDistributed Computing and Internet Technology (ICDCIT 2012)
    Subtitle of host publication8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
    EditorsR. Ramanujam, Srini Ramaswamy
    Place of PublicationBerlin
    PublisherSpringer
    Pages7-26
    Number of pages20
    ISBN (Print)978-3-642-28072-6
    DOIs
    Publication statusPublished - 2 Feb 2012
    Event8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012 - Bhubaneswar, India
    Duration: 2 Feb 20124 Feb 2012
    Conference number: 8
    http://www.icdcit.ac.in/archive/2012/index.html

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume7154
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012
    Abbreviated titleICDCIT
    CountryIndia
    CityBhubaneswar
    Period2/02/124/02/12
    Internet address

      Fingerprint

    Keywords

    • Model check
    • Smart cards
    • Security protocols
    • Cryptographic protocols
    • Online banking

    Cite this

    Pavlovic, D., & Meadows, C. (2012). Actor-Network Procedures (Extended Abstract). In R. Ramanujam, & S. Ramaswamy (Eds.), Distributed Computing and Internet Technology (ICDCIT 2012): 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings (pp. 7-26). (Lecture Notes in Computer Science; Vol. 7154). Berlin: Springer. https://doi.org/10.1007/978-3-642-28073-3_2