Measuring the Speed of Information Leakage in Mobile Processes

DOI10.1007/11784180_6zbMATH Open1236.68043OpenAlexW1600341113MaRDI QIDQ3623923FDOQ3623923

Authors: Benjamin Aziz 

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_6

Recommendations

• Quantifying Information Leakage in Process Calculi
• Quantifying information leakage in process calculi
• Transforming out timing leaks
• Static analysis for the \(\pi\)-calculus with applications to security
• Security boundaries in mobile ambients

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Quantifying Information Leakage in Process Calculi
• Value-passing CCS with noisy channels

Uses Software

• PEPA

This page was built for publication: Measuring the Speed of Information Leakage in Mobile Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623923)