Reasoning about secrecy for active networks

Pankaj Kakkar; Carl A. Gunter; Martin Abadi

doi:10.1109/CSFW.2000.856931

Reasoning about secrecy for active networks

Pankaj Kakkar, Carl A. Gunter, Martin Abadi

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonstrate how capabilities provided for programming the network can affect the potential flows of information between users. In particular, we formalize a concept of security against attacks on secrecy by an `outsider' and show how basic protections are preserved in the presence of programmable network functions like user-customized labeled routing.

Original language	English (US)
Pages (from-to)	118-129
Number of pages	12
Journal	Proceedings of the Computer Security Foundations Workshop
DOIs	https://doi.org/10.1109/CSFW.2000.856931
State	Published - 2000
Externally published	Yes

ASJC Scopus subject areas

Software

Online availability

10.1109/CSFW.2000.856931

Library availability

Discover UIUC Full Text

Cite this

@article{fd1daa6bbca54980a7520837aadab4e6,

title = "Reasoning about secrecy for active networks",

abstract = "In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonstrate how capabilities provided for programming the network can affect the potential flows of information between users. In particular, we formalize a concept of security against attacks on secrecy by an `outsider' and show how basic protections are preserved in the presence of programmable network functions like user-customized labeled routing.",

author = "Pankaj Kakkar and Gunter, {Carl A.} and Martin Abadi",

year = "2000",

doi = "10.1109/CSFW.2000.856931",

language = "English (US)",

pages = "118--129",

journal = "Proceedings. The Computer Security Foundations Workshop III",

issn = "1063-6900",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - Reasoning about secrecy for active networks

AU - Kakkar, Pankaj

AU - Gunter, Carl A.

AU - Abadi, Martin

PY - 2000

Y1 - 2000

N2 - In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonstrate how capabilities provided for programming the network can affect the potential flows of information between users. In particular, we formalize a concept of security against attacks on secrecy by an `outsider' and show how basic protections are preserved in the presence of programmable network functions like user-customized labeled routing.

AB - In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonstrate how capabilities provided for programming the network can affect the potential flows of information between users. In particular, we formalize a concept of security against attacks on secrecy by an `outsider' and show how basic protections are preserved in the presence of programmable network functions like user-customized labeled routing.

UR - http://www.scopus.com/inward/record.url?scp=0033698472&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033698472&partnerID=8YFLogxK

U2 - 10.1109/CSFW.2000.856931

DO - 10.1109/CSFW.2000.856931

M3 - Article

AN - SCOPUS:0033698472

SN - 1063-6900

SP - 118

EP - 129

JO - Proceedings. The Computer Security Foundations Workshop III

JF - Proceedings. The Computer Security Foundations Workshop III

ER -

Reasoning about secrecy for active networks

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this