@inbook{228000e9b2ce45c3b067b669b6fde600,
title = "Analyzing security protocols in hierarchical networks",
abstract = "Validating security protocols is a well-known hard problem even in a simple setting of a single global network. But a real network often consists of, besides the public-accessed part, several sub-networks and thereby forms a hierarchical structure. In this paper we first present a process calculus capturing the characteristics of hierarchical networks and describe the behavior of protocols on such networks. We then develop a static analysis to automate the validation. Finally we demonstrate how the technique can benefit the protocol development and the design of network systems by presenting a series of experiments we have conducted.",
author = "Ye Zhang and Nielson, {Hanne Riis}",
year = "2006",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer-verlag Berlin",
number = "4218",
booktitle = "Automated Technology For Verification and Analysis, Proceedings",
}