Actor-Network Procedures (Extended Abstract)

Dusko Pavlovic; Catherine Meadows

doi:10.1007/978-3-642-28073-3_2

Actor-Network Procedures (Extended Abstract)

Dusko Pavlovic, Catherine Meadows

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

14 Citations (Scopus)

9 Downloads (Pure)

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 language	English
Title of host publication	Distributed Computing and Internet Technology (ICDCIT 2012)
Subtitle of host publication	8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Editors	R. Ramanujam, Srini Ramaswamy
Place of Publication	Berlin
Publisher	Springer
Pages	7-26
Number of pages	20
ISBN (Print)	978-3-642-28072-6
DOIs	https://doi.org/10.1007/978-3-642-28073-3_2
Publication status	Published - 2 Feb 2012
Event	8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012 - Bhubaneswar, India Duration: 2 Feb 2012 → 4 Feb 2012 Conference number: 8 http://www.icdcit.ac.in/archive/2012/index.html

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	7154
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012
Abbreviated title	ICDCIT
Country/Territory	India
City	Bhubaneswar
Period	2/02/12 → 4/02/12
Internet address	http://www.icdcit.ac.in/archive/2012/index.html

Keywords

Model check
Smart cards
Security protocols
Cryptographic protocols
Online banking

Access to Document

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

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). Springer. https://doi.org/10.1007/978-3-642-28073-3_2

@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 = feb,

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)",

address = "Germany",

note = "8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, ICDCIT ; Conference date: 02-02-2012 Through 04-02-2012",

url = "http://www.icdcit.ac.in/archive/2012/index.html",

}

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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Actor-Network Procedures (Extended Abstract)

AU - Pavlovic, Dusko

AU - Meadows, Catherine

N1 - Conference code: 8

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

T2 - 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012

Y2 - 2 February 2012 through 4 February 2012

ER -

Actor-Network Procedures (Extended Abstract)

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this