DocumentCode
2241632
Title
Reasoning about secrecy for active networks
Author
Kakkar, Pankaj ; Gunter, Carl A. ; Abadi, Martin
Author_Institution
Pennsylvania Univ., Philadelphia, PA, USA
fYear
2000
fDate
2000
Firstpage
118
Lastpage
129
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th IEEE
Conference_Location
Cambridge
ISSN
1063-6900
Print_ISBN
0-7695-0671-2
Type
conf
DOI
10.1109/CSFW.2000.856931
Filename
856931
Link To Document