Reasoning about secrecy for active networks

Pankaj Kakkar, Carl A. Gunter, Martín 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.

Original languageEnglish (US)
Pages (from-to)245-287
Number of pages43
JournalJournal of Computer Security
Issue number2
StatePublished - 2003
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality
  • Hardware and Architecture
  • Computer Networks and Communications


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

Cite this