The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41591
Record Status Checked
Record Id 41591
Title Measuring the speed of information leakage in mobile processes
Abstract This paper presents a syntax-directed non-uniform static analysis of the stochastic pi-calculus to safely approximate the amount of time required before name substitutions occur in a process. Name substitutions form the basis for defining security properties, like information leakage. The presence of the quantitative and qualitative information in the results of the analysis allows us to reason about the speed at which sensitive information is leaked in a computing environment with malicious mobile code. We demonstrate the applicability of the analysis through a simple example of firewall breaches.
Organisation CCLRC
Keywords Engineering , Security , Process Algebra , Information Leakage , Quantitative Analysis , Mobile Systems
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006), Kuressaare, Estonia, 5-8 Jul 2006, (2006). doi:10.1007/11784180_6 2006