Analyzing Security Protocols in Hierarchical Networks |
Ye Zhang, Hanne Riis Nielson
|
| 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. |
| Keywords | Formal methods, static analysis, security protocols, network attacker |
| Type | Conference paper [With referee] |
| Conference | 4th International Symposium, ATVA 2006, Beijing, China |
| Editors | Graf, Susanne; Zhang, Wenhui |
| Year | 2006 Month September Vol. 4218 pp. 430-445 |
| Publisher | Springer |
| Series | LNCS |
| ISBN / ISSN | 0302-9743 |
| Publication link | http://www.springerlink.com/content/4577410151478u6x/?p=f5990ffb25f84cadb4596620bb2fc88d&pi=5 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |