Tracing the Man in the Middle in Monoidal Categories

Dusko Pavlovic

doi:10.1007/978-3-642-32784-1_11

Tracing the Man in the Middle in Monoidal Categories

Dusko Pavlovic

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

3 Citations (Scopus)

175 Downloads (Pure)

Abstract

Man-in-the-Middle (MM) is not only a ubiquitous attack pattern in security, but also an important paradigm of network computation and economics. Recognizing ongoing MM-attacks is an important security task; modeling MM-interactions is an interesting task for semantics of computation. Traced monoidal categories are a natural framework for MM-modelling, as the trace structure provides a tool to hide what happens in the middle. An effective analysis of what has been traced out seems to require an additional property of traces, called normality. We describe a modest model of network computation, based on partially ordered multisets (pomsets), where basic network interactions arise from the monoidal trace structure, and a normal trace structure arises from an iterative, i.e. coalgebraic structure over terms and messages used in computation and communication. The correspondence is established using a convenient monadic description of normally traced monoidal categories.

Original language	English
Title of host publication	Coalgebraic Methods in Computer Science
Subtitle of host publication	11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Editors	Dirk Pattinson, Lutz Schröder
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	191-217
Number of pages	27
ISBN (Electronic)	978-3-642-32784-1
ISBN (Print)	978-3-642-32783-4
DOIs	https://doi.org/10.1007/978-3-642-32784-1_11
Publication status	Published - 31 Mar 2012
Event	11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012 - Tallinn, Estonia Duration: 31 Mar 2012 → 1 Apr 2012 Conference number: 11 http://coalg.org/cmcs12/

Publication series

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

Conference

Conference	11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012
Abbreviated title	CMCS
Country/Territory	Estonia
City	Tallinn
Period	31/03/12 → 1/04/12
Internet address	http://coalg.org/cmcs12/

Keywords

SCS-Cybersecurity
Monoidal Categories
Security protocols
Parallel composition
Monoidal structure
Output interface

Access to Document

10.1007/978-3-642-32784-1_11

Pavlovic2012tracingAccepted author version, 302 KB

Cite this

Pavlovic, D. (2012). Tracing the Man in the Middle in Monoidal Categories. In D. Pattinson, & L. Schröder (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers (pp. 191-217). (Lecture Notes in Computer Science; Vol. 7399). Springer. https://doi.org/10.1007/978-3-642-32784-1_11

Pavlovic, Dusko. / Tracing the Man in the Middle in Monoidal Categories. Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers. editor / Dirk Pattinson ; Lutz Schröder. Berlin, Heidelberg : Springer, 2012. pp. 191-217 (Lecture Notes in Computer Science).

@inproceedings{7df9e5ed09184e7ba972b6e25ab245ce,

title = "Tracing the Man in the Middle in Monoidal Categories",

abstract = "Man-in-the-Middle (MM) is not only a ubiquitous attack pattern in security, but also an important paradigm of network computation and economics. Recognizing ongoing MM-attacks is an important security task; modeling MM-interactions is an interesting task for semantics of computation. Traced monoidal categories are a natural framework for MM-modelling, as the trace structure provides a tool to hide what happens in the middle. An effective analysis of what has been traced out seems to require an additional property of traces, called normality. We describe a modest model of network computation, based on partially ordered multisets (pomsets), where basic network interactions arise from the monoidal trace structure, and a normal trace structure arises from an iterative, i.e. coalgebraic structure over terms and messages used in computation and communication. The correspondence is established using a convenient monadic description of normally traced monoidal categories.",

keywords = "SCS-Cybersecurity, Monoidal Categories, Security protocols, Parallel composition, Monoidal structure, Output interface",

author = "Dusko Pavlovic",

year = "2012",

month = mar,

day = "31",

doi = "10.1007/978-3-642-32784-1_11",

language = "English",

isbn = "978-3-642-32783-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "191--217",

editor = "Dirk Pattinson and Lutz Schr{\"o}der",

booktitle = "Coalgebraic Methods in Computer Science",

address = "Germany",

note = "11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, CMCS ; Conference date: 31-03-2012 Through 01-04-2012",

url = "http://coalg.org/cmcs12/",

}

Pavlovic, D 2012, Tracing the Man in the Middle in Monoidal Categories. in D Pattinson & L Schröder (eds), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7399, Springer, Berlin, Heidelberg, pp. 191-217, 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, Tallinn, Estonia, 31/03/12. https://doi.org/10.1007/978-3-642-32784-1_11

Tracing the Man in the Middle in Monoidal Categories. / Pavlovic, Dusko.
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers. ed. / Dirk Pattinson; Lutz Schröder. Berlin, Heidelberg: Springer, 2012. p. 191-217 (Lecture Notes in Computer Science; Vol. 7399).

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

TY - GEN

T1 - Tracing the Man in the Middle in Monoidal Categories

AU - Pavlovic, Dusko

N1 - Conference code: 11

PY - 2012/3/31

Y1 - 2012/3/31

N2 - Man-in-the-Middle (MM) is not only a ubiquitous attack pattern in security, but also an important paradigm of network computation and economics. Recognizing ongoing MM-attacks is an important security task; modeling MM-interactions is an interesting task for semantics of computation. Traced monoidal categories are a natural framework for MM-modelling, as the trace structure provides a tool to hide what happens in the middle. An effective analysis of what has been traced out seems to require an additional property of traces, called normality. We describe a modest model of network computation, based on partially ordered multisets (pomsets), where basic network interactions arise from the monoidal trace structure, and a normal trace structure arises from an iterative, i.e. coalgebraic structure over terms and messages used in computation and communication. The correspondence is established using a convenient monadic description of normally traced monoidal categories.

AB - Man-in-the-Middle (MM) is not only a ubiquitous attack pattern in security, but also an important paradigm of network computation and economics. Recognizing ongoing MM-attacks is an important security task; modeling MM-interactions is an interesting task for semantics of computation. Traced monoidal categories are a natural framework for MM-modelling, as the trace structure provides a tool to hide what happens in the middle. An effective analysis of what has been traced out seems to require an additional property of traces, called normality. We describe a modest model of network computation, based on partially ordered multisets (pomsets), where basic network interactions arise from the monoidal trace structure, and a normal trace structure arises from an iterative, i.e. coalgebraic structure over terms and messages used in computation and communication. The correspondence is established using a convenient monadic description of normally traced monoidal categories.

KW - SCS-Cybersecurity

KW - Monoidal Categories

KW - Security protocols

KW - Parallel composition

KW - Monoidal structure

KW - Output interface

U2 - 10.1007/978-3-642-32784-1_11

DO - 10.1007/978-3-642-32784-1_11

M3 - Conference contribution

SN - 978-3-642-32783-4

T3 - Lecture Notes in Computer Science

SP - 191

EP - 217

BT - Coalgebraic Methods in Computer Science

A2 - Pattinson, Dirk

A2 - Schröder, Lutz

PB - Springer

CY - Berlin, Heidelberg

T2 - 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012

Y2 - 31 March 2012 through 1 April 2012

ER -

Pavlovic D. Tracing the Man in the Middle in Monoidal Categories. In Pattinson D, Schröder L, editors, Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer. 2012. p. 191-217. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-32784-1_11

Tracing the Man in the Middle in Monoidal Categories

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this