Reasoning about secrecy for active networks

Pankaj Kakkar, Carl A. Gunter, Martin Abadi

Research output: Contribution to journalArticlepeer-review


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 languageEnglish (US)
Pages (from-to)118-129
Number of pages12
JournalProceedings of the Computer Security Foundations Workshop
StatePublished - 2000
Externally publishedYes

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Reasoning about secrecy for active networks'. Together they form a unique fingerprint.

Cite this