Actor-Network Procedures (Extended Abstract)

Dusko Pavlovic, Catherine Meadows

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

8 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

Authentication

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
Pavlovic, Dusko ; Meadows, Catherine. / Actor-Network Procedures (Extended Abstract). Distributed Computing and Internet Technology (ICDCIT 2012): 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings. editor / R. Ramanujam ; Srini Ramaswamy. Berlin : Springer, 2012. pp. 7-26 (Lecture Notes in Computer Science).
@inproceedings{48c5d09a99404053a31b0a94b0ee5f96,
title = "Actor-Network Procedures (Extended Abstract)",
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.",
keywords = "Model check, Smart cards, Security protocols, Cryptographic protocols, Online banking",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2012",
month = "2",
day = "2",
doi = "10.1007/978-3-642-28073-3_2",
language = "English",
isbn = "978-3-642-28072-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "7--26",
editor = "R. Ramanujam and Srini Ramaswamy",
booktitle = "Distributed Computing and Internet Technology (ICDCIT 2012)",

}

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. Lecture Notes in Computer Science, vol. 7154, Springer, Berlin, pp. 7-26, 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, Bhubaneswar, India, 2/02/12. https://doi.org/10.1007/978-3-642-28073-3_2

Actor-Network Procedures (Extended Abstract). / Pavlovic, Dusko; Meadows, Catherine.

Distributed Computing and Internet Technology (ICDCIT 2012): 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings. ed. / R. Ramanujam; Srini Ramaswamy. Berlin : Springer, 2012. p. 7-26 (Lecture Notes in Computer Science; Vol. 7154).

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

TY - GEN

T1 - Actor-Network Procedures (Extended Abstract)

AU - Pavlovic, Dusko

AU - Meadows, Catherine

PY - 2012/2/2

Y1 - 2012/2/2

N2 - 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.

AB - 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.

KW - Model check

KW - Smart cards

KW - Security protocols

KW - Cryptographic protocols

KW - Online banking

U2 - 10.1007/978-3-642-28073-3_2

DO - 10.1007/978-3-642-28073-3_2

M3 - Conference contribution

SN - 978-3-642-28072-6

T3 - Lecture Notes in Computer Science

SP - 7

EP - 26

BT - Distributed Computing and Internet Technology (ICDCIT 2012)

A2 - Ramanujam, R.

A2 - Ramaswamy, Srini

PB - Springer

CY - Berlin

ER -

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