Title :
Reasoning about secrecy for active networks
Author :
Kakkar, Pankaj ; Gunter, Carl A. ; Abadi, Martin
Author_Institution :
Pennsylvania Univ., Philadelphia, PA, USA
Abstract :
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 such as user-customized labeled routing
Keywords :
computer network management; network operating systems; security of data; software agents; active networks; formal semantics; mobile agents; programmable network functions; secrecy; security against attacks; uPLAN; user-customized labeled routing; Bandwidth; Computer security; Domain Name System; Information security; Internet; Mobile agents; Modems; Protection; Routing protocols; Scalability;
Conference_Titel :
Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th IEEE
Conference_Location :
Cambridge
Print_ISBN :
0-7695-0671-2
DOI :
10.1109/CSFW.2000.856931
